// Никогда не возвращаемся
fn exit(code: i32) -> !
// Неудача невозможна
fn always_success() -> Result<T, !>
// Если вышли, то из-за проблемы
fn server_loop() -> Result<!, E>
И, так как это настоящий тип, автоматически работает очень много магии, в т.ч. паттерн-матчинги типа
let Ok(v) = always_success()
Все это время ходила шутка never type is named after its stabilization date – но возможно, обещанный день настал!
Never date: 25.08.2026
– @pgregory