Amazing work, I remember reading the Tree Borrows spec? on Nevin's website a couple years ago and being thoroughly impressed by how it solves some pretty gnarly

Amazing work, I remember reading the Tree Borrows spec? on Nevin's website a couple years ago and being thoroughly impressed by how it solves some pretty gnarly issue quite elegantly. And in my experience [1] [2] it does indeed allow for sensible code that is illegal under Stacked Borrows. [1] https://github.com/Voultapher/sort-research-rs/blob/main/writeup/sort_safety/text.md#property-analysis https://github.com/Voultapher/sort-research-rs/blob/main/wri... Miri column [2] https://github.com/rust-lang/rust/blob/6b3ae3f6e45a33c2d95fa0362c9b2593e567fd34/library/core/src/slice/sort/unstable/quicksort.rs#L298 https://github.com/rust-lang/rust/blob/6b3ae3f6e45a33c2d95fa...