This package contains a prototype for a static analysis tool that infers and verifies lifetime annotations for C++ code. For more background, see /docs/lifetimes_static_analysis.md.