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

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-revisited/ https://smallcultfollowing.com/babysteps/series/polonius-rev... [1]: https://blog.rust-lang.org/2026/08/04/enabling-polonius-alpha-on-nightly/ https://blog.rust-lang.org/2026/08/04/enabling-polonius-alph...