TypeScript返回对象时为何需重复指定ReturnType？类型检查疑问

定义了如下函数类型：

type FN = () => { test: 1 };

编写返回类型不符合预期的实现时，TypeScript没有报错：

const fn: FN = () => ({ test: 1, test2: 2 });

但如果在实现中显式指定返回类型，就会抛出错误：

const fn: FN = (): ReturnType<FN> => ({ test: 1, test2: 2 });

错误信息：

Type "{ test: 1; test2: number; }" is not assignable to type "{ test: 1; }".

请问这是TypeScript的bug，还是有意设计的行为？其设计目的是什么？

这是TypeScript有意设计的行为，核心源于两个类型检查规则的差异：

1. 函数赋值的返回类型兼容性
   当把函数赋值给带有明确类型声明的变量（比如const fn: FN）时，TypeScript采用结构子类型判断兼容性：只要返回值包含目标类型要求的所有属性，即便有额外属性，也会被判定为兼容。这种设计的目的是提升代码灵活性——调用方只会依赖类型声明里的属性，额外属性不会影响调用逻辑，允许函数返回更具体的对象同时满足通用类型约束。

2. 对象字面量的新鲜度检查
   当显式给函数指定返回类型（比如: ReturnType<FN>）时，返回的对象字面量会触发新鲜度检查（严格对象字面量检查）。TypeScript会禁止字面量包含目标类型未定义的属性，目的是排查可能的拼写错误或多余属性，避免意外引入未被预期的字段。

简单来说：前者是函数赋值场景下的宽松兼容性检查，后者是直接赋值对象字面量时的严格检查，两者都是为了在类型安全性和代码灵活性之间做平衡。

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