An alias-based formulation of the borrow checker

Ever since the Rust All Hands, I’ve been experimenting with an alternative formulation of the Rust borrow checker. The goal is to find a formulation that overcomes some shortcomings of the current proposal while hopefully also being faster to compute. I have implemented a prototype for this analysis…

View Post on Scour ↗

More from smallcultfollowing.com on Scour.