of course "memory safety" doesn't solve everything but if we can remove most of the stupidly predictable flaws let's fucking do it
and if someone wanted to bolt a magical static analysis tool that removes half the bugs to a c compiler let's fucking do it too
it's just that rust is made for that to work nicely from the start