TypeScript中Record<string,*>约束未拦截symbol键导致生成无效类型

你没有遗漏TypeScript的相关规则，这是TypeScript存在已久的已知设计边界问题，不属于使用错误。

const sy = Symbol();
type A<T extends Record<string, unknown[]>> = (...args: T[keyof T]) => void;
type B = A<{ [sy]: 0 }>;
//   ^? type B = (...args: 0) => void

你的分析方向完全准确，问题本质是约束检查阶段没有正确区分字符串键和Symbol键的校验规则，导致非法类型进入后续类型计算流程，生成了不符合逻辑的无效类型，具体逻辑如下：

• Record<string, unknown[]>的泛型约束检查逻辑存在疏漏：TypeScript对Record<string, V>形式的约束，默认仅校验字符串、数字类型键对应的属性值是否匹配V类型，完全不会校验Symbol类型键的属性值是否符合要求。因此示例中{ [sy]: 0 }虽然存在Symbol键对应值为0（既不是数组成员、键类型也不属于string），依然能通过泛型约束检查。
• 按照TypeScript的类型规则，字符串索引签名确实不会覆盖Symbol类型键，但T extends Record<string, V>的约束判定没有实现「拦截不符合要求的Symbol键属性」的逻辑，是问题的核心诱因。
• 当约束校验漏过非法类型后，后续T[keyof T]的类型计算会无差别收集T上所有存在的键（包括漏检的Symbol键）对应的值类型，最终生成(...args: 0) => void这种逻辑上无效的类型——函数剩余参数的类型必须为数组类型，0显然不满足该要求，但因为前置约束检查已经放行，后续类型计算环节不会再做合法性兜底校验。

可以在泛型约束中额外补充Symbol键的类型限制，拦截所有带非法Symbol键的入参：

// 要求传入类型不能存在自定义Symbol键
type A<T extends Record<string, unknown[]> & Record<symbol, never>> = (...args: T[keyof T]) => void;

// 此时再传入带Symbol键的类型会直接触发类型错误
type B = A<{ [sy]: 0 }>; // 抛出类型不匹配错误

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