Hacker News new | ask | show | jobs
by Joker_vD 296 days 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
1 comments
SkiFire13 296 days ago
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.
link