On: Lightweight Static Guarantees

[rowanG077]

Not really a language feature since it's compiler specific but you can relatively easily write static checks using clang-tidy which is a code analysis tool for C++.

http://blog.audio-tk.com/2018/03/20/writing-custom-checks-fo...