为何TypeScript交叉对象与string类型时错误不显示never类型？

这不是TypeScript的Bug，而是类型检查逻辑的设计选择。

核心逻辑：交叉类型的兼容性检查是逐组分验证 #

你对交叉类型的理解是正确的：{b: number; c: string} & string确实等价于never，因为没有值能同时既是对象又是字符串。但TypeScript在做赋值兼容性检查时，不会先把交叉类型化简为never，而是会逐个验证交叉类型的每个组成部分，并针对不兼容的部分给出具体错误。

对应你的代码场景：

• 赋值对象{b:1, c:'c'}给Test1时，TypeScript先确认该对象符合交叉类型的第一个部分{b: number; c: string}，接着检查是否符合第二个部分string——显然不符合，所以错误提示指向“无法赋值给string”。
• 赋值字符串'test1'给Test1时，TypeScript先检查是否符合第一个部分{b: number; c: string}——不符合，所以错误提示指向“无法赋值给该对象类型”。

为什么错误信息不直接提never？ #

TypeScript的错误提示设计优先给出具体的不匹配原因，而不是直接抛出“无法赋值给never”。如果只提示never，开发者只能知道这个类型没有有效值，但无法快速定位是哪部分类型冲突了。逐组分验证的错误提示更有助于调试。

验证Test1本质是never #

你可以通过类型工具确认Test1确实等价于never：

type Test1 = {
    b: number;
    c: string;
} & string;

// 类型工具：判断一个类型是否为never
type IsNever<T> = [T] extends [never] ? true : false;
type CheckTest1 = IsNever<Test1>; // CheckTest1的类型是true

同时，只有never类型的值能赋值给Test1：

let test1: Test1 = {} as never; // 无错误

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