generated at
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