←back to thread

Tree Borrows

(plf.inf.ethz.ch)
565 points zdw | 1 comments | 09 Jul 25 14:40 UTC | HN request time: 0.212s | source
1. nixpulvis ◴[10 Jul 25 02:52 UTC] No.44516740[source]▶
Here's the implementation in Miri for those interested: https://github.com/rust-lang/miri/tree/master/src/borrow_tra...