絶対に値が返らない（例外を投げる、または無限ループする）関数の戻り値の型は？

解説

正解は「never」型です。どの型とも互換性がないため、switch文などで処理漏れ（ケースの追加忘れ）を防ぐ網羅性チェックにも利用されます。