Type Alias IsEqual<T, TOther>

IsEqual: PrimitiveEqual<Resolve<T>, Resolve<TOther>> extends true
    ? PrimitiveEqual<DeepRequired<T>, DeepRequired<TOther>> extends true
        ? true
        : false
    : false

Returns if true if the two types are EXACTLY equal. For a looser version IsAssignable

For expectType.