Тип never

Тип never ! — это тип без значений, представляющий результат вычислений, которые никогда не завершаются.

Выражения типа ! могут быть приведены к любому другому типу.

Тип ! в настоящее время может появляться только в типах возвращаемых значений функций, указывая, что это расходящаяся функция, которая никогда не возвращается.

#![allow(unused)]
fn main() {
fn foo() -> ! {
    panic!("Этот вызов никогда не возвращается.");
}
}

#![allow(unused)]
fn main() {
unsafe extern "C" {
    pub safe fn no_return_extern_func() -> !;
}
}