TypeScript类型约束为何影响声明函数的infer推断结果？

先明确你遇到的三个核心现象：

现象1：带约束的类型别名，infer正确推断字面量true #

type InferReturn<Fn extends () => any> = Fn extends () => infer Return
  ? Return
  : never;
type R = InferReturn<() => true>; // 类型为true

现象2：带约束的声明函数，infer推断为boolean #

declare function DeclaredInferReturn<Fn extends () => any>(fn: Fn): Fn extends () => infer Return
  ? Return
  : never;
const r = DeclaredInferReturn(() => true); // 类型为boolean

现象3：移除声明函数的约束后，infer正确推断字面量true #

declare function DeclaredInferReturn<Fn>(fn: Fn): Fn extends () => infer Return
  ? Return
  : never;
const r = DeclaredInferReturn(() => true); // 类型为true

原因拆解 #

1. 类型别名的静态匹配逻辑 #

类型别名的类型参数是直接代入精确匹配的。当你调用InferReturn<() => true>时，Fn被直接指定为() => true这个精确类型，没有任何自动宽化。条件类型Fn extends () => infer Return会严格匹配该类型，自然能推断出返回值是字面量true。

2. 声明函数的类型推断与约束宽化 #

声明函数的类型参数推断逻辑完全不同：

• 当Fn带有extends () => any的约束时，TypeScript在推断Fn类型时会触发字面量类型宽化。传入的() => true虽然本身是返回字面量true的函数，但TypeScript默认会把它宽化为返回通用boolean类型的函数——这是因为函数参数通常期望接受更宽泛的类型（比如允许返回任意boolean值，而非固定的true），同时要满足约束要求（即使() => true本身符合约束，推断逻辑仍会优先选择更通用的类型）。
• 当Fn被推断为() => boolean后，条件类型里的infer自然就得到boolean，而非字面量true。

3. 移除约束后的行为变化 #

去掉Fn extends () => any的约束后，TypeScript不再有“必须满足通用约束”的推断倾向，会完整保留传入函数的精确类型() => true，因此条件类型能正确推断出返回值是字面量true。

本质差异：类型别名是静态的类型代入匹配，而声明函数的类型参数推断在有约束时，会为了满足通用性触发字面量宽化，进而影响infer的结果。

内容的提问来源于stack exchange，提问作者Vadim P.