11 year old unsoundness bugs found in Rust borrow checker
- Rust: 52 events in the last 90 days
- Previous: earlier the same day · Creusot 0.14.0 release - Contracts for Rust, formally proved
What happened
In the following code: use std::sync::Mutex; static KEPT: Mutex >> = Mutex::new(Vec::new()); struct Q (Option ); impl Drop fo...
Summary assembled by rule from the sources below