never型 | TypeScript入門『サバイバルTypeScript』
never型は「値を持たない」を意味するTypeScriptの特別な型です。
typescriptbook.jp