如何推断联合的泛型类型参数？

Question

我想推断一个联合的通用 arguments ，如附加代码中。 InferValueTypes 应该是什么？

interface WithValue<T> {}

interface ValuedNumber extends WithValue<number> {}
interface ValuedString extends WithValue<string> {}

type Valued = ValuedNumber | ValuedString;

type InverValueType<T extends WithValue<any>> = T extends WithValue<infer V>  ? V : never;
type AType = InferValueType<ValuedNumber>; // Will infer `number`

type InferValueTypes<T> = ???;
type ValueTypes = InferValueTypes<Valued>; // Expect to infer `string | number`

Answer 1

InferValueTypes可以很好地处理联合。 我需要更加专心。