nerver型
TSの
Bottom型
この型を持つ値は存在しない
決して辿り着かないことを明言する
ユースケース
TypeScriptの網羅性チェック
Errorをthrowする関数の返り値の型として使う
参考
TypeScriptの型入門 - Qiita
Discriminated Unions - TypeScript Deep Dive 日本語版
Never Type - TypeScript Deep Dive 日本語版
https://numb86-tech.hatenablog.com/entry/2020/02/06/214324
Conditional Types
との組み合わせ
Note on TypeScript's exhaustive type checks in scope of Redux's reducer — Pavel Birukov