Type Alias AssertFalse<T>

AssertFalse: T

Assert that a boolean type resolves to false.

Type Parameters

T extends false
Boolean type that must be false

Remarks

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

Example

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