To the point Polonius is finally landing, and while it is better than current NLL, there are some issues it introduces, and it is still far from production. ht

To the point Polonius is finally landing, and while it is better than current NLL, there are some issues it introduces, and it is still far from production. https://blog.rust-lang.org/2026/08/04/enabling-polonius-alpha-on-nightly https://blog.rust-lang.org/2026/08/04/enabling-polonius-alph... Because of this "halting problem" compromise, I prefer the approach other languages are pursuing, keeping some form of automatic memory management, while improving their type systems, like Swift, Chapel, OxCaml, Scala 3, et al are pursuing.