Давай я переформулирую. Твоя претензия в том, что Rust не является волшебной палочкой, которая решает все проблемы без усилий программиста.
Любой формализм находит лишь часть багов, и любой нетривиальный формализм требует усилий на доказывание компилятору, что программист - не верблюд.
Но можно такую аналогию привести - можно ли любую программу на C переписать на C++? Да, но будет нарушена инкапсуляция (все эти private-protected, которых нет в классическом C). Так и в Rust можно писать с unsafe, который является просто отражением unsafe исходного языка.