←back to thread

Tree Borrows

(plf.inf.ethz.ch)
572 points zdw | 1 comments | | HN request time: 0.209s | source
1. nixpulvis ◴[] No.44516740[source]
Here's the implementation in Miri for those interested: https://github.com/rust-lang/miri/tree/master/src/borrow_tra...