11 year old unsoundness bugs found in Rust borrow checker

610 pointsgithub.com
formerly_proven12hrs