読むhttps://dev.to/cefn/typescript-satisfies-never-exhaustiveness-checking-in-typescript-49-58fh
これUnreachable codeで検出できないのは実行時には保証できないから。納得した。
思考の /dev/null
