infer关键字
一、作用与使用
infer 的作用就是推导泛型参数,infer 声明只能出现在 extends 子语句中,使用如下:

可以看出 已经推导出类型是 User了
二、协变
infer 的 协变会返回联合类型,如图:

三、逆变
infer 的逆变一般出现函数的参数上,逆变返回的是交叉类型,如图:

它返回never是因为

infer 的作用就是推导泛型参数,infer 声明只能出现在 extends 子语句中,使用如下:
可以看出 已经推导出类型是 User了
infer 的 协变会返回联合类型,如图:
infer 的逆变一般出现函数的参数上,逆变返回的是交叉类型,如图:
它返回never是因为