TypeScript ハンドブックには、興味深いステートメントがあります：「条件付き型のチェックは、我々に新しい情報を提供することがよくあります。型ガードによる絞り込みと同様に、条件付き型の true ブランチは、チェック対象の型によってジェネリクスをさらに制約します。」このブログポストでは、それがあなたが考える以上に進むことを見ていきます。