Tree Borrows is a model of `unsafe` code (for example using raw pointers), it is not a proposal to change what the safe Rust borrow checker accepts.