Post

A hole in #rust 's borrow checker has been discovered github.com/rust-lang/ru...

github.comstruct's lifetime requirements can be bypassed via covariant field assignment · Issue #164250 · rust-lang/rustIn 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...

13/10/26, 11:14 am0 reposts0 likes

No replies yet.