[pjmlp]

The magic is that there is no way to enforce that in modern C++, in spite of current attempts.

There will always be that compiler or team that doesn't have any kind of reviews, static analysis, making use of binary libraries or legacy code.

Hence why safety at language level is much better than third party tooling, as tools can be ignored.