[grumpyprole]

It's overblown until it isn't. Hoare didn't pluck that number from thin air. This is now a solved problem in modern programming languages. If Odin doesn't have this and other essential memory safety features, it's certainly not worth the massive retooling effort.

[jchw]

But that's not really what I mean. What I am trying to say is that "solving" the problem doesn't really fully solve it after all.