关于ts的范型约束

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


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

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