The funny thing is the promise of Ada was "if it compiles it won't crash at runtime" which has a lot of overlap with Rust.