never型 | TypeScript入門『サバイバルTypeScript』

never型は「値を持たない」を意味するTypeScriptの特別な型です。 neverの特性​何も代入できない​never型には何も代入できません。

[tick2tack]

never型。voidやscalaのNothingとも違う。到達可能性があるとコンパイルエラーになる。

[carolina04]

“never型の「値が無い」とはどういうことでしょうか。たとえば、例外が必ず発生する関数の戻り値です。戻り値は絶対に取れません。そのため、戻り値の型はnever型になります。 function throwError(): never { throw new Error(); }”

[joltkun]

“voidは関数が最後まで実行されるという意味です。neverは関数の処理が中断、もしくは、永遠に続くことを意味します。”