Normal rust without warnings to me is much safer than most Misra C compliant code. Misra C is an attempt to avoid 80% of C's undefined behavior and other pitfalls, but those 20% that are left are still worse than most of what can go wrong in rust.
The problem is mostly certification and having a stable spec for the language.
The problem is mostly certification and having a stable spec for the language.