显式泛型函数约束为何会导致类型拓宽？

问题示例 #

无泛型约束的场景 #

declare function echo<Fn>(fn: Fn): Fn
const e = echo((a: string, b: number) => true)

此处e的返回类型被推断为**true（字面量类型）**。

添加函数类型约束的场景 #

declare function echoFunc<Fn extends (...args: any) => any>(fn: Fn): Fn
const ef = echoFunc((a: string, b: number) => true)

此时ef的返回类型被拓宽为**boolean（基础类型）**。

差异原因 #

这是TypeScript类型推断中字面量类型拓宽规则在不同泛型场景下的表现差异：

• 无约束泛型：当泛型Fn没有显式约束时，TypeScript会直接捕获传入函数表达式的完整、未经过拓宽的类型信息，因此保留了返回值的字面量true类型。
• 带函数约束的泛型：当泛型被约束为函数类型时，TypeScript会先将传入函数与约束类型做匹配。由于约束的返回值是宽泛的any，推断逻辑会触发默认的字面量拓宽行为，将true转换为其基础类型boolean，以符合约束的类型预期。

补充细节 #

• 单独定义函数时，比如：

  const f = () => true
  

  返回类型会直接被推断为boolean，这是TypeScript的默认字面量拓宽规则。而无约束泛型的例子未发生拓宽，属于泛型直接捕获原始表达式类型的特殊情况。
• 这个差异会影响类型挑战的实现（比如柯里化问题）：若过早添加函数类型约束，可能丢失字面量类型的精度，导致无法通过部分类型测试。

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