TypeScript函数类型内无法推导泛型类型约束问题

这个报错是 TypeScript 类型检查器的设计局限导致的：条件类型分支中的类型收窄结论，不会被递归应用到函数参数的逆变位置做泛型约束校验，和类型逻辑本身是否正确无关。

不同场景的行为差异解释 #

对比给出的三个用例，就能清晰看到类型检查的生效边界：

• UseFoo2 正常编译：条件判断的左侧是裸类型参数T，当T extends string判断成立进入真分支时，TS会直接将当前分支内的泛型参数T本身标记为string的子类型，这个收窄是直接绑定在泛型参数上的，传给Foo<T>自然满足约束。
• UseFoo3 正常编译：真分支中NonNullable<T>直接作为Foo的入参出现在协变位置（直接作为类型返回值，没有嵌套在函数参数位），TS在协变位置会正确复用前面的extends判断结论，识别到NonNullable<T>满足string约束。
• UseFoo1 编译报错：Foo<NonNullable<T>>被放在了函数参数位置，这个位置在类型系统中属于逆变位。TS做条件分支收窄时，不会递归深入到逆变位置拆解泛型工具类型的计算结果、复用前置的extends判断结论——它会直接跳过收窄逻辑，拿未做任何约束的原始泛型T去校验Foo的类型参数要求，自然就会抛出T无法赋值给string的错误。

临时绕过方案 #

可以用两种简单写法绕开这个检查局限：

1. 直接给传入Foo的类型加显式交叉约束，给类型检查器明确的类型提示：

type UseFoo1<T> = NonNullable<T> extends string
  ? (param: Foo<NonNullable<T> & string>) => void
  : () => void;

2. 提前把NonNullable<T>抽成独立的泛型参数，让收窄结果绑定到新的泛型参数上：

type UseFoo1<T, U = NonNullable<T>> = U extends string
  ? (param: Foo<U>) => void
  : () => void;

内容的提问来源于stack exchange，提问作者Safron