11 year old unsoundness bugs found in Rust borrow checker

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 this promise is something we take very s...