Type Narrowing is the process where TypeScript refines a broad type (like a union) into a narrower type within a specific code block using logical checks.

Native Guards

• typeof: Narrow primitive types (string, number, boolean, symbol).
• instanceof: Narrow class instances.
• in operator: Check if a property key exists on an object.
• Truthiness checks (if (val)): Exclude null or undefined.