The Role of Local Static Analysis in C++

Biana is proposing this three-pronged approach of enforced local static analysis, CODI guidelines and new library tools that can serve as clever annotations. And all of those three together, you get something that is, I would say, pretty close in the philosophy to what the Rust-Boro checker is doing. But of course, it's not as tightly integrated with the language because it's something that we now invent on top, and not something that has grown with the language for all this time.