I think Ada has a lot of technical merit but it's just not fashionable the way Rust is, for lots of uninteresting reasons.
In the early 1980s, microcomputer implementations such as UCSD Pascal were absolutely horrific in terms of performance plus missing the features you'd need to do actual systems programming work. In the middle of the decade you saw Turbo Pascal which could compile programs before you aged to death and also extended Pascal sufficiently to compete with C. But then you had C, and the three-letter agencies were still covering up everything they knew about buffer overflows.
It could have pushed for more Pascal adoption.
Then again, Borland also did their own mess, when decided enterprise should be their customer focus, not the small developer communities.