Yay let’s lock ourselves into the formal verification toolsets, so that we can never use new language features again.
Yes. Correct software is more important than developer convenience.
OR new languages and frameworks ever again, since they'll slow down code generation due to lack of training, and from LLM generation standpoint this is a terrible thing to trade off.
When you board a plane, don't you love thinking about how the controllers can make use of the hottest new language features? Perhaps JSON in the stdlib?