为何TS允许对象类型循环引用却禁止Record类型循环引用？

在TypeScript 4.1.6版本中，直接使用索引签名定义的循环对象类型是合法的：

export type CircularObj = { [key: string]: CircularObj }

但使用Record工具类型定义的循环类型会触发TS2456: Type alias 'CircularRecord' circularly references itself.错误：

export type CircularRecord = Record<string, CircularRecord>

造成这种差异的核心原因是TypeScript对两种类型的循环引用处理逻辑不同：

• 对于直接声明的索引签名类型（{ [key: string]: T }），TypeScript将其视为原生支持的递归结构，允许直接的自引用，因为这种结构的递归关系明确且符合语言设计预期。
• Record<K, V>本质是语法糖，展开后是映射类型{ [P in K]: V }。在TypeScript 4.1.6的类型检查逻辑中，类型别名通过映射类型触发的循环引用会被判定为非法——因为映射类型在展开解析时，会尝试递归查找CircularRecord的完整定义，而此时该类型尚未完成初始化，从而触发循环引用检测报错。

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