Исходное сообщение
"Выпуск языка программирования Rust 1.66" Отправлено fuggy, 17-Дек-22 18:49
Я просто интересуюсь. Вам известно такая фраза как вычисление выражения? Например, 2 вычисляется в целочисленное число 2. Тип выражения int. (2 + 3) вычисляется в 5. Тип выражения int. Литерал "Hello world" вычисляется в объект типа String. Вот и тип выражение for(;;) {} имеет тип !. Пример для rust `fn foo() -> ! { loop { } }` Конструкция throw new Exception() имеет тип !. Вот и тут есть литерал, который фактически бросает ошибку и имеет тип !. При этом тип ! является подтипом всех типов, что важно.