Here's the implementation in Miri for those interested: https://github.com/rust-lang/miri/tree/master/src/borrow_tracker/tree_borrows https://github.com/rust-la

Here's the implementation in Miri for those interested: https://github.com/rust-lang/miri/tree/master/src/borrow_tracker/tree_borrows https://github.com/rust-lang/miri/tree/master/src/borrow_tra...