I find Ada/SPARK2014 much easier to learn than Rust, and given its legacy, Ada programmers are of a higher quality for the high-integrity market than Rust at the moment. The fandom of Rust is a positive and attracts a lot of early adopters, but it still does not approach the portfolio of high-integrity software out there in Ada/SPARK2014.