There is work to get Rust qualified for safety critical domains [1]. Someone else pointed out that parts of the borrow checker have been formally proven already. Still a long road ahead, but I'm glad people are looking at it.

https://ferrous-systems.com/blog/sealed-rust-the-pitch/