TypeScript

Extracting from incompatible unions in TypeScript

TypeScriptUtility TypesExclude & Extractintermediate

What this snippet does

If no members of the union match, Extract results in the 'never' type, making variables unassignable.

Expected output

Compile Error: Type 'any' is not assignable to type 'never'.

Why practise typing this

Typing utility types code builds muscle memory for the symbols and indentation TypeScript uses most, which prose-based typing tests never cover. DevType measures your words per minute and accuracy on this snippet and tracks the individual characters you mistype, so later lessons can target them.

More TypeScript practice

Browse all TypeScript snippets →