3 ms·
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 https://pe
by Joker_vD 1y ago
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 https://perso.crans.org/vanille/treebor/aux/preprint.pdf
- SkiFire13 1y agoNo, 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.