mediumFrontend

What is the never type?

Q: What is the never type?

**`never`** represents values that never occur — functions that always throw or never return, and impossible branches. It's useful for **exhaustiveness checks**: in a `switch` over a union, assigning the default case to `never` makes the compiler error if you add a new variant and forget to handle it.

114 views

Understand the problem

Explain never and its uses.

nevervoid

Attempt it yourself

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

Nudge consolestandby

Stuck? Beam a request up — the console returns a conceptual nudge that guides your logic without spoiling the implementation.

Study the solution

never represents values that never occur — functions that always throw or never return, and impossible branches. It's useful for exhaustiveness checks: in a switch over a union, assigning the default case to never makes the compiler error if you add a new variant and forget to handle it.

Solution ready — 2 min read

Classified // press E to declassify

Join the discussion

Discussion (0)

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

Transmission complete // awaiting log

KEEP THE
STREAK ALIVE.

Dossier 45 of 70 decoded in the TypeScript track. One more won't hurt.

Back to track

Next up→

What are assertion functions (asserts)?

Continue