Type Alias AssertTrue<T>

AssertTrue: T

Assert that a boolean type resolves to true.

Type Parameters

T extends true
Boolean type that must be true

Remarks

Produces a compiler error if the provided type is not exactly true.

Example

type A = AssertTrue< true >;   // ✓
type B = AssertTrue< false >;  // ✗ TS error