Holy shit, Rustc (via Ferrocene) being ASIL-D certified is a huge deal! That’s the highest level of verification for automotive applications, which enables it to be used in stuff like braking, steering, and other critical vehicle systems.
I had absolutely no idea what any of the standards were about. But now that I understand what they are, that seems huge! Amazing work by @ferrous!
Here’s an explainer of what ASIL-D certification entails:
https://en.wikipedia.org/wiki/Automotive_Safety_Integrity_Level