关于ts的范型约束

[2478557459 (0x2CA)]

我想进行范型约束,例子大概是这样的

有什么办法可以让v提示正确的类型

[2478557459 (0x2CA)]

type GenericOf<T> = T extends A<infer X> ? X : never;