Comment by steveklabnik

… except that Rust’s compiler has been qualified for several safety critical standards, with more to come, and has several formal verification tools as well. Amazon even has placed bounties (and paid some) for proving things about the standard library.

Rust is not as immature or evolving in the ways you imply.