为何`type B = A`显示类型A，`type B = A | A`却显示为any？

现象描述 #

• 当通过type B = A定义类型别名时，鼠标悬停查看B的类型，会直接显示为A，即便A是来自外部未提供具体类型定义的模块。
• 但使用type B = A | A定义时，B的类型会显示为any，而非预期的A。

代码示例：

import { A } from "https://example.com/type.d.ts";
type B = A | A

原因解析 #

这种差异源于TypeScript对类型别名的两种不同处理逻辑：

1. 直接别名的引用保留：type B = A属于直接类型别名，TypeScript会将B作为A的引用符号保留。即使A的具体类型无法被解析（比如外部模块的类型定义缺失或未加载），编译器也不会自动将其降级为any，而是原样展示别名A。
2. 联合类型的化简规则：处理A | A这类联合类型时，TypeScript会先执行化简操作。正常场景下X | X会被化简为X，但这个过程需要TypeScript能获取到X的类型信息。如果A是未解析的标识符（外部模块导入但无有效类型定义），编译器无法确定A的类型，会将其视为any，因此A | A最终被化简为any | any，也就是any。

补充验证 #

如果A是已知的具体类型（比如type A = string），那么type B = A | A会正常显示为string，和type B = A的结果完全一致。这说明只有当A的类型无法被解析时，才会出现上述差异。

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