5 votes

Stacked Borrows: An Aliasing Model for Rust