встроенных системы, кроме как паники в рантайме?
Мне кажется, если Вы хотите избежать паник и прочего UB в рантайме на 100%, то ни Rust, ни C, ни C++, ни Zig Вам не подойдут. Самое меньшее -- Ada Spark. Или Frama C. Или ещё что-то со статическими доказательствами корректности и safety.
Ada очень страшный и непонятный язык, да и насколько я прочитал, он очень тяжёлый (будет безопасная но прожорливая программа).
Обсуждают сегодня