TypeScript开启declaration时导出含Symbol键变量触发ts4023错误

当TypeScript项目开启declaration自动生成声明文件配置时，按如下简化结构编写代码会触发ts(4023)报错：

// b.ts
export const sy = Symbol();
export const p = { [sy]: 0 };

// index.ts
import { sy, p } from './b';

export const a: { [sy]: number } = p; // 无报错
export const b                   = p; // 触发报错

错误提示为：导出变量'b'存在或正在使用外部模块中的名称'sy'，但该名称无法被正确命名。

• 为触发报错的导出变量显式标注对应类型注解时，报错直接消失
• 将导出的sy从Symbol类型替换为普通字符串类型时，报错同步消失，问题仅对Symbol类型的计算属性键触发
• 语义完全等价的两种Symbol导出写法，编译表现存在显著差异：
  • 常量声明时直接导出Symbol（export const sy = Symbol()）会触发报错
  • 拆分为「先声明常量、再单独导出」的写法完全无报错，对应代码：

    const sy = Symbol();
    export { sy };
    

该问题和TypeScript声明文件生成逻辑的已知缺陷（对应issue编号40718的复现场景）完全匹配，核心触发逻辑：

1. 声明文件生成流程需要为所有导出成员的隐式推断类型，推导可序列化、可跨模块引用的类型标识，最终输出到.d.ts文件。当类型中包含跨模块Symbol作为计算属性键的对象结构时，生成器无法正确解析该Symbol的可引用名称，导致类型序列化失败。
2. 无显式类型注解的导出变量（示例中的b）需要生成器自动遍历推导其完整类型，必然触发序列化失败逻辑；有显式类型注解的导出变量（示例中的a）已明确指定类型，生成器无需做额外的类型推导遍历，不会触发该校验错误。
3. 两种等价Symbol导出写法表现不一致，是因为TypeScript在模块导出语法解析阶段，对两种导出形式的Symbol常量生成的内部类型元数据存在差异：常量声明时直接导出的Symbol，在类型系统中被标记为无法跨模块序列化命名的引用；拆分导出的写法会让类型系统为该Symbol生成可正常引用的元数据标识，直接绕过bug触发条件。
4. 字符串类型计算属性键不会触发同类问题，是因为字符串字面量是可直接序列化到声明文件的静态值，无需依赖跨模块的Symbol引用解析逻辑。

• 对包含Symbol计算属性的导出变量，显式标注对应类型注解
• 对需要导出的Symbol常量，采用「先声明、再单独导出」的拆分写法
• 定义包含Symbol计算属性的对象时，先显式声明对应接口类型，再在导出变量时标注该接口，避免生成器做不必要的类型推导

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