struct's lifetime requirements can be bypassed via covariant field assignment · Issue #164250 · rust-lang/rust
github.com
NoteGiven that this issue has been shared online and is currently getting quite a few visitors, here's some additional context. Rust's type system is intended to prevent memory unsafety. Upholding ...
    • bjc@scribe.disroot.orgEnglish
      1·
      12 days ago

      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