I think you're suffering from over-optimism. ;) So far no language not designed for it has demonstrated that adopting a borrow-checker to interesting real-worl

I think you're suffering from over-optimism. ;) So far no language not designed for it has demonstrated that adopting a borrow-checker to interesting real-world use-cases is possible. The C++ project (C++ Core Guidelines it is called IIRC) eventually gave up on soundness. Zig isn't there yet, I am very curious how they will tackle this. So, I'm not going to use the word "impossible", but I think this is a hard problem and many people are underestimating how hard it is. It is strictly harder than what Rust is attempting, and see all the tricks they had to pull! Put differently, if you are right, it should be easy to prove pcwalton wrong by just doing it. :)