Type Alias Expect<T>

Expect<T>: T

断言类型T为真。当断言为真时，编辑器不会提示错误，否则会有红色下划线提示类型错误。

interface Person {
  name: string,
  age: number
}

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