[[型エイリアス (TypeScript)|型エイリアス]]で同名[[プロパティ (TypeScript)|プロパティ]]を[[交差型 (TypeScript)|交差型]]で定義してもエラーにならず、[[never型 (TypeScript)|never型]]になる。型エラーにならないので、実際に[[プロパティ (TypeScript)|プロパティ]]が利用されるまで衝突に気付けない。 ```ts type Animal = { id: string }; type Merged = Animal & { id: number }; declare const merged: Merged; merged.id // ^? type: never // エラーにはならない ``` ## MOC - 📒**関連** - [[インターフェースはプロパティの衝突を検知できる (TypeScript)|インターフェースはプロパティの衝突を検知できる]] - 📜**アクティビティ** - 📝**トラブルシューティング**