• High-level design of C++/Rust interop
• Lifetime Annotations for C++
• Static Analysis for C++ Lifetimes
• Struct Layout
• Thunks for class template member functions
• Unpin for C++ Types