по тому, что все больше проектов принимают решение включить раст как для миксования с плюсами, так и для использования раста вместо плюсов для нового софта
тут примечательное вот в этом абзаце: * Добавлена поддержка предоставляемого проектом Coreboot нового кода для инициализации графической подсистемы, который вынесен в отдельный модуль libgfxinit и переписан c С на Ada.
libgfxinit is written in SPARK, an Ada subset with formal verifica- tion aspects. Absence of runtime errors can be proved automatically with SPARK GPL 2016.