What are assertion functions (asserts)? | Interview Question

Q: What are assertion functions (asserts)?

**Target Audience:** Developers who know type guards and want to write validation helpers that narrow types without wrapping everything in `if` blocks. **Difficulty:** Medium **TypeScript version:** Every compiler message and output below was produced with TypeScript 5.4.5 (`--strict`, target ES2022). > **How to read this doc:** Every idea is explained in plain language first, then tagged with `📌 Interview term:` so you also learn the exact words an interviewer expects. All output shown was produced by actually running the code; the **Verified** section quotes it in full. ## 1. Why This Even Matters — A Story First At an airport there are two ways to check a passport. One officer looks at it and says "valid" or "not valid", and you decide what to do next. That is a **type guard**: it answers a yes/no question, and only the code inside your `if (valid)` block gets to treat the passenger as cleared. The other is the gate itself: if your passport is bad, the gate does not open and y

The problem

Question presented to candidate: "What is an assertion function in TypeScript — the asserts keyword in a return type? How is it different from a type guard that returns value is T, and what can go wrong with it?"

What a strong answer should cover:

The two forms: asserts condition (like Node's assert) and asserts value is T; added in TypeScript 3.7
Behaviour: if the function returns, the compiler narrows for the rest of the scope; if the check fails, the function throws
The difference from a type guard (value is T returning a boolean, narrowing only inside the if)
Rules: the function must return void, and every name in the call target needs an explicit type (TS2775), which trips up arrow functions and methods on inferred instances
The compiler trusts the signature, not the body: a wrong or empty check is an unchecked lie, so keep assertion bodies small and tested
Uses: validating inputs and config at boundaries, assertDefined, asserts this is T for class state, test helpers

Code / implementation expected: Yes — an assertIsString or assertDefined helper and a call site that is narrowed afterwards.

asserts

Try it yourself

Sketch your approach before you read the solution. That is what the interview tests.

Stuck? Get a hint.

A short nudge toward the approach. It will not give the answer away.

Solution

Target Audience: Developers who know type guards and want to write validation helpers that narrow types without wrapping everything in if blocks. Difficulty: Medium TypeScript version: Every compiler message and output below was produced with TypeScript 5.4.5 (--strict, target ES2022).

How to read this doc: Every idea is explained in plain language first, then tagged with 📌 Interview term: so you also learn the exact words an interviewer expects. All output shown was produced by actually running the code; the Verified section quotes it in full.

1. Why This Even Matters — A Story First

At an airport there are two ways to check a passport.

One officer looks at it and says "valid" or "not valid", and you decide what to do next. That is a type guard: it answers a yes/no question, and only the code inside your if (valid) block gets to treat the passen

The solution is hidden so you can try first

9 min read · 9 sections

Run the code

Edit the code and run it here. Each console line with an expected value becomes a test.

TypeScriptThe two assertion forms, assertDefined and asserts this

Practice

TypeScriptPitfalls: TS2775, unchecked bodies and a config validator

Practice

Discussion

Other approaches, follow-ups and how it went in real interviews.

Sign in to join the discussion.

No comments yet. Share how you would answer it.

The solution is hidden so you can try first

Keep your momentum going.