Type Alias Equal<X, Y>

Equal<X, Y>: (<T>() => T extends X
        ? 1
        : 2) extends (<T>() => T extends Y
        ? 1
        : 2)
    ? true
    : false

判断两种类型是否相等。

interface Person {
  name: string,
  age: number
}

type Case = [
  Expect<Equal<keyof Person, 'name' | 'age'>>,
  ...更多的类型断言
]