@GlowingLantern@mastodon.online @shibayashi Ideally, I'd like it to work that way.

My conern is cert orgs will have incentive to lean on C++'s mere age as proof that it's reliable, leaving a language like #Rust to fight an uphill battle like "We understand that if you do XYZ, you can panic the Rust compiler. It's really hard to crash a C++ compiler. Can we prove that a compiler that panics can create safe code / the language it compiles is sound if it can crash its own compiler?"

... completely ignoring that C++ might just generate undefined behavior instead of crashing.

A lot would come down to getting the rules by which a standards committee operates to be sane.