Comment by viraptor

> Possibly also that a significant portion of the suggested gain may be achievable via other means.

Things like that have been said many times, even before Rust came around. You can do static analysis, you can put in asserts, you can use this restricted C dialect, you can...

But this never gets wider usage. Even if the tools are there, people are going to ignore them. https://en.wikipedia.org/wiki/Cyclone_(programming_language) started 23 years ago...

It took us decades to get to non executable stack and W^X and there are still occasional issues with that.