11 year old unsoundness bugs found in Rust borrow checker

The original is one of the reasons why the target price is going to be the end point of this process.