borrow-checker

Rust Moves Toward Stabilizing Polonius Alpha Borrow Checker

Rust's Polonius alpha borrow checker nears stabilization, fixing NLL limitations with new tests, a formal model, and performance validation.