&gt; What&#x27;d be the big deal if compiler developers just stopped inflicting these on C programmers and focused on optimizing compilers for better-defined languages (with range types, specified overflow behavior etc.) instead?<p>This is non-trivial. These definitions come with tradeoffs that fundamentally alter the language. However, this is basically what rust <i>is</i>.