struct's lifetime requirements can be bypassed via covariant field assignment · Issue #164250 · rust-lang/rust
github.com
In the following code: use std::sync::Mutex; static KEPT: Mutex>> = Mutex::new(Vec::new()); struct Q(Option); impl Drop fo...
    • bjc@scribe.disroot.orgEnglish
      1·
      22 天前

      meh. i don’t like unsoundness, since that’s like, the reason to use rust for me, but this particular bug is not something that concerns me greatly since triggering it seems nigh impossible to do unintentionally