mediumFrontend

What is type narrowing and what are type guards?

Q: What is type narrowing and what are type guards?

**Narrowing** is how TS refines a broad type to a specific one within a branch using `typeof`, `instanceof`, `in`, or equality checks. A **user-defined type guard** is a function returning `x is Type`, telling the compiler the narrowed type when it returns true.

1.1k views

Understand the problem

Explain narrowing and user-defined guards.

narrowingguards

Attempt it yourself

Sketch your approach before reading the solution — that's what interviews test.

Stuck? AI Nudge Available

Get a conceptual hint to guide your logic without spoiling the final implementation.

Study the solution

The solution is waiting

Give it an honest attempt first — then compare your thinking with the full walkthrough.

Join the discussion

Discussion (0)

No responses yet. Be the first to share what you think.

What is the definite assignment assertion (!)?

What are generic constraints?