TypeScriptの型ガード関数を定義する際に避けるべきパターン覚書

TypeScriptにおいて、型ガード関数[1]を定義する際に実は避けた方が良い型注釈のパターンがあることが分かったので、その覚書です。 本記事は執筆時点で最新の TypeScript 5.3.2 での動作を基に書いています。 isAbortError 関数の例 例として、以下のような型ガード関数 isAbortError の戻り値型のアノテーションが適切かどうかを考えます。 const isAbortError = (a: unknown): a is Error => a instanceof Error && a.name === 'AbortError';