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