infer 最早出现在此 PR 中，表示在 extends 条件语句中待推断的类型变量。 在这个条件语句 T extends (param: infer P) => any ? P : T 中，infer P 表示待推断的函数参数。 整句表示为：如果 T 能赋值给 (param…