11 year old unsoundness bugs found in Rust borrow checker
In the following code: use std::sync::Mutex; static KEPT: Mutex<Vec<Box<dyn std::any::Any + Send>>> = Mutex::new(Vec::new()); struct Q<T: 'static + Send>(Option<T>); impl<T: 'static + Send> Drop fo...
Story details
- Published
- By
- formerly_proven
- Format
- Article
- Original
- github.com ↗
Related reporting
3 stories on this topic from 3 sources, oldest first.
- New Straits Times 16-year-old student found dead at Yong Peng school
- Hacker News 11 year old unsoundness bugs found in Rust borrow checker (this story)





