https://github.com/isocpp/CppCoreGuidelines/raw/master/docs/Lifetimes%20I%20and%20II%20-%20v0.9.1.pdf
A worthwhile read for those interested in where C++ is heading
with regards to static analysis etc.
External analyzers might be an interesting direction for a
gc-free D as it might be less intrusive than what Rust is doing.
E.g.:
1. Develop using the manual annotations, but use the GC to
prevent memory issues during initial coding.
2. Run checker and fix the code. Turn off GC.
3. Run in debugger, fix code, go to 2.
?