11 year old unsoundness bugs found in Rust borrow checker(github.com)
723 points by formerly_proven | 406 comments
A rust-lang/rust GitHub issue reporting that a struct's lifetime requirements can be bypassed via covariant field assignment, an unsoundness bug in the borrow checker.