https://blog.miz-ar.info/2025/03/typescript-never-property/

TypeScript使いの憂鬱：never型はプロパティを持つか | 雑記帳

この記事では、TypeScriptのnever型に関する奇妙な挙動について解説されています。

never型は本来あらゆる型の部分型であるべきなのに、プロパティアクセスができないという矛盾点が指摘されています。

また、網羅的なswitch文やnullableなデータに対するoptional chainingで発生するエラーについても議論されています。