[[Narrowing]]するためにチェックする構文の総称のこと。たとえば、[[typeof型ガード]]構文は[[型ガード (TypeScript)|型ガード]]。 ```ts function hoge(arg: number | string) { if (typeof arg === "string") { // arg: number | string はstring型と断定される console.log(arg.toLowerCase()); } } ``` > [!hint] > 型を絞り込む手法は[[Narrowing]]の関連を参照したほうがよい。 ## MOC - 📒**関連** - [[Narrowing]] - [[typeof型ガード]] - 📜**アクティビティ** - 📝**トラブルシューティング**