Skip to main content

assertType

Callable

  • assertType<Actual, Expected>(_shouldBeEqual: IsExact<Actual, Expected>): void

  • Raise a compile error when Actual is not strictly equal to Expected. This is a type helper and does nothing at run time.

    @example
    type Expected = 'foo'
    assertType<'foo', Expected>(true);// -> everything is fine
    assertType<'bar', Expected>(true);// -> ts raises an error

    Type parameters

    • Actual
    • Expected