11 year old unsoundness bugs found in Rust borrow checker

struct's lifetime requirements can be bypassed via covariant field assignment · Issue #164250 · rust-lang/rust

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 ......