The Importance of Local Reasoning Static Analysis in C++

The Rust borrow checker that you use like static analysis to prove certain degrees, certain properties of your code locally. I think that's an extremely powerful idea and something C++ can learn from. We just don't have that worked out to a degree like Rust has it where it gives you already all of these really powerful guarantees on a global level. A paper by Thomas Neumann proposes to add annotations to mark lifetime and to mark aliasing in the language. He was actually presenting that also to the WG21 working group for safety and security.