Type Alias TestType<RightImplementation, WrongImplementation>

TestType: RightImplementation | WrongImplementation

Type to test types

Type Parameters

RightImplementation extends true
WrongImplementation extends true = true

Example

type _Test = TestType<
  A extends B ? true : false,
  A & { intruder: 1 } extends B ? false : true
>;
// or, if you want to skip the wrong implementation test, simply
type _Test = TestType<A extends B ? true : false>;