GoKawiilRust bug tracker lists soundness flaws in borrow checker dating back 11 years
A set of open issues on Rust's GitHub repository documents unsoundness bugs in the compiler's borrow checker, some tied to destructors, lifetimes, and variance handling, with reports dating back as far as 11 years. The issues are tagged as high-priority soundness holes and flagged for review by Rust's types team.