[steveklabnik]

https://ferrous-systems.com/blog/sealed-rust-the-pitch/

[gmueckl]

Interesting. This is indeed a massive undertaking as it implicitly covers a lot of LLVM as well. It might take a couple of years until a core language is certified.

[Argorak]

The LLVM got covered as part of ARM switching their toolchain to clang. (FWIW, I'm part of Ferrous Systems)