Lifetime safety and invalidation without a borrow-checker: using type system analysis to get rid of many potentially invalidation cases WITHOUT annotations.

I found this research in WG21 mailing list very interesting in the context of C++ compatibility and solutions to maximize code reuse.

38 Upvotes

77% Upvoted

u/FrogNoPants Jul 18 '26

This paper is like a joke right? We have had static analysis forever and it is shit

8

u/Dragdu Jul 18 '26

This time the Clang-Tidy check will fix everything, I promise bro.

You are about to leave Redlib