>> AdaCore does make Ada language extensions (who else would push the language forward these days?), but I didn't think they had any for rust, which is why I'm

>> AdaCore does make Ada language extensions (who else would push the language forward these days?), but I didn't think they had any for rust, which is why I'm asking. Correct, AdaCore / GNAT has extensions that are not part of the Ada standard: https://docs.adacore.com/gnat_rm-docs/html/gnat_rm/gnat_rm/gnat_language_extensions.html https://docs.adacore.com/gnat_rm-docs/html/gnat_rm/gnat_rm/g... I don't have a close relationship with AdaCore and do not know what they are planning for their Rust toolchain. That said, I would be surprised if they do not add features to ensure Rust plays nicely with their other products and give their Rust toolchain competitive advantages in the safety critical space. I do not see any documentation or details on their website yet, but it also looks like their Rust toolchain is not released yet.