Ada solved all those problems decades ago, it did not fly.
C++ ran on rockets to the space, Rust has not yet. I don't even know any major projects or products are done with Rust for the last 16 years.
"There are only two kinds of languages: the ones people complain about and the ones nobody uses".