Rust then?

From "The state of Rust trying to catch up with Ada [video]" https://news.ycombinator.com/item?id=43007013 :

> [awesome-safety-critical]

> rustfoundation/safety-critical-rust-consortium: https://github.com/rustfoundation/safety-critical-rust-conso...

rust-lang/fls: https://github.com/rust-lang/fls

How does what FLS enables compare to these Safe C++ proposals?

Safe C++ draft: https://safecpp.org/draft.html