If we get a C++ Copilot as "borrow checker" that is already quite an improvement, even if not perfect.
Hmm, another idea: what if a language's compiler itself use an LLM to find invariants and issues (like race conditions) in the code?
In any case, taken to the extreme, the language won't matter any longer, beyond some druids with the knowledge to implement Star Trek like computing models.
We will be left to architect roles.
If we get a C++ Copilot as "borrow checker" that is already quite an improvement, even if not perfect.