An alias-based formulation of the borrow checker · baby steps
https://smallcultfollowing.com/babysteps/blog/2018/04/27/an-alias-based-formulation-of-the-borrow-checker/GitHub - rust-lang/a-mir-formality: a model of MIR and the Rust type/trait system
https://github.com/rust-lang/a-mir-formalityGitHub - rust-lang/polonius: Defines the Rust borrow checker.
https://github.com/rust-lang/polonius/Named existentials and impl Trait variable declarations by cramertj · Pull Request #2071 · rust-lang/rfcs · GitHub
https://github.com/rust-lang/rfcs/pull/2071Polonius revisited, part 1 · baby steps
https://smallcultfollowing.com/babysteps/blog/2023/09/22/polonius-part-1/Polonius update | Inside Rust Blog
https://blog.rust-lang.org/inside-rust/2023/10/06/polonius-update.htmlPolonius: Either Borrower or Lender Be, but Responsibly - Niko Matsakis - YouTube
https://www.youtube.com/watch?v=_agDeiWek8wThe Borrow Checker Within
https://new.reddit.com/r/rust/comments/1d6d0ng/the_borrow_checker_within/The borrow checker within · baby steps
https://smallcultfollowing.com/babysteps/blog/2024/06/02/the-borrow-checker-within/View types for Rust · baby steps
https://smallcultfollowing.com/babysteps/blog/2021/11/05/view-types/