Type Alias AssertEqual<T, U>

AssertEqual: <V>() => V extends T ? 1 : 2 extends <V>() => V extends U ? 1 : 2
    ? true
    : false