A doubt about [12 - chainable options] test case #20213

const result3 = a
  .option('name', 'another name')
  // 这里按我的理解，是期望第二个传入的参数是一个string类型，而不是number类型，这样才能不报错，否则
  // 没有必要做这个注释， 即，在上一个 options() 调用中，已经确定了 name 的类型是 string
  // @ts-expect-error 
  .option('name', 123)
  .get()

type Expected3 = {
  // 但是在这里，name 的类型是 number，而不是 string
  name: number
}

type cases = [
  // 那么这里由于 属性 name 的类型不一致，应该是不能通过这个测试用例的
  Expect<Alike<typeof result3, Expected3>>,
]

type Chainable<T extends Record<PropertyKey, unknown> = {}> = {
  option<K extends PropertyKey, V>(
    key: K extends keyof T ? never : K, 
    value: K extends keyof T ? T[K] : V
  ): Chainable<Omit<T, K> & { [P in K]: V }>
  get(): T
}