Если бы был компилятор/препроцессор C каждый раз, когда делается что-то потенциально опасное требовал бы писать какую-нибудь директиву типа #unsafe, думаю само это уже чуток, но улучшило бы качество продукта.
Другой вопрос что в классическом C это пришлось бы писать почти везде и сильно ухудшило бы качество уже кода.
Как быть когда народ, бизнес, нарастающая сложность требует гарантий, хоть каких-то?
Rust как раз отражает возникший спрос. Соответствует ли он ему, это уже другой вопрос.
Но уже понятно, что просто сказать "лучше тестируйте", "нанимайте профи" и т.п. уже не достаточно.
Что-то он это улучшит, где-то поднимет дискуссию, где-то сам Rust потом еще будут допиливать...