Stacked Borrows Is the Prototype of Allocation Model for Rust

Tree borrows is going to be implemented in Miri by Rau and this person I've not seen yet except for one small PR. It theoretically supports programming patterns that stacked borrows does not permit but it will ultimately not have a huge impact on the amount of aliasing ub in the ecosystem so I think you may want to define some terms there yeah So stacked borrows is the existing prototype aliasing model for Rust, which describes how you can interleave if at all uses of references and raw pointers. The programer has to have kind of an intuitive feel that this is happening yes in in safe code um you don't have to worry about this the bar checker.