An alias-based formulation of the borrow checker (2018)

For a bit of context, this is the basis of what the Rust devs would eventually call Polonius. This first iteration didn't quite pan out, but the devs eventually developed a new version [0] that seems to have worked out to the point that they recently announced that they are enabling a subset of this new version (called Polonius Alpha) in nightly with the intent to stabilize later this year [1].

[0]: https://smallcultfollowing.com/babysteps/series/polonius-rev...

[1]: https://blog.rust-lang.org/2026/08/04/enabling-polonius-alph...