The next-gen borrow checker, a drop-in replacement for Rust borrow checking (via wofo) — discussion
#compilers #plt #rust
