Savvy safety oriented developers already have a few options, it is not only about Rust, although it is nice to see it doing progress there.

https://www.mikroe.com/, Pascal and Basic

https://www.astrobe.com/default.htm, Oberon

https://www.aicas.com/cms/, RealTime Java

https://www.ptc.com, RealTime Java and Ada

https://www.ghs.com, Ada and INTEGRITY RTOS