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.