This post presents a 4-part plan for the borrow checker called “the borrow checker within” to help Rust evolve and better accommodate certain coding patterns that align with Rust’s principles but clash with its rules. The essence of Rust lies in the principle of mutation xor sharing, where mutating a value prohibits reading it through another variable simultaneously for memory safety. The surprise lies in how often this rule is suitable once understood. The roadmap includes improvements like Polonius for conditional references and syntax changes for more teachability. The ultimate goal is to refine the borrow checker’s rules to align perfectly with mutation xor sharing.
https://smallcultfollowing.com/babysteps/blog/2024/06/02/the-borrow-checker-within/