11 year old unsoundness bugs found in Rust borrow checker
- Rust 近 90 天出现 52 次
- 上一次:同一天稍早 · Creusot 0.14.0 release - Contracts for Rust, formally proved
发生了什么
In the following code: use std::sync::Mutex; static KEPT: Mutex >> = Mutex::new(Vec::new()); struct Q (Option ); impl Drop fo...
摘要按规则整理自下方来源原文