TypeScript

Infinite conditional type distribution in TypeScript

TypeScriptType System LimitsInstantiation Depthadvanced

What this snippet does

Conditional types that continuously wrap themselves without a base case cause the compiler to give up and throw an instantiation error.

Expected output

Compile Error: Type instantiation is excessively deep and possibly infinite.

Why practise typing this

Typing type system limits 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 →