typescript 中可以通过 infer 解构出 union 对象中指定的某个值的部分类型吗？

Question

如下的 example，我期望可以通过 NewData 这个类型根据 key 取出原始 Data 中对应的值的类型，但是得到的是 never，这是 typescript 的问题吗，可以有其他的办法实现期待的功能吗，求解

https://www.typescriptlang.org/play/?ts=5.6.0-beta#code/C4TwD...

Answer 1

type Data =
  | {
      key: 'a'
      value: string
    }
  | {
      key: 'b'
      value: number
    }

type NewData<T extends Data["key"]> = {
    newKey: T,
    value: Extract<Data, { key: T }>['value']
}

type ExpectValueNumber = NewData<"b">["value"] // number