Comment on Group Borrowing: Zero-cost memory safety with fewer restrictionsComments−Joker_vD1yThere is also "Tree Borrows" [0] proposal for Rust, which is aimed at the same problem.[0] https://perso.crans.org/vanille/treebor/aux/preprint.pdf−SkiFire131yNo, Tree Borrows is aimed at defining the semantics of memory accesses. It does not provide a way to statically check whether they are correct, which is what the borrow checker and this proposal aim to do.
Comments
There is also "Tree Borrows" [0] proposal for Rust, which is aimed at the same problem.
[0] https://perso.crans.org/vanille/treebor/aux/preprint.pdf
No, Tree Borrows is aimed at defining the semantics of memory accesses. It does not provide a way to statically check whether they are correct, which is what the borrow checker and this proposal aim to do.