Stacked Borrows: An Aliasing Model for Rust
Didn't really get it. Does it speed programs up, or allow better guessing or when borrow checking isn't actually violated? If the former, what kind of situations is the program sped up in?