The next-gen borrow checker, a drop-in replacement for Rust borrow checking