Tree Borrows – References

A new aliasing model for Rust

Neven Villani

Mar. 2023

Tree Borrows

Note: although this project shares the same name and purpose, it is otherwise unrelated and has a completely different approach to how the tree structure and permissions are interpreted and updated.

Stacked Borrows

UB according to Tree Borrows in existing code