我试图理解为什么当对象类型与字符串类型相交时，TypeScript 没有在错误消息中明确显示 never 类型。这是我的代码：type Test1 = { b: numb...

我试图理解为什么当对象类型与字符串类型相交时，TypeScript 没有在错误消息中明确显示 never 类型。这是我的代码：

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

// Type '{ b: number; c: string; }' is not assignable to type 'Test1'.
// Type '{ b: number; c: string; }' is not assignable to type 'string'.
let test1: Test1 = {
    b: 1,
    c: 'c',
}

// Type 'string' is not assignable to type 'Test1'.
// Type 'string' is not assignable to type '{ b: number; c: string; }'.
let test1: Test1 = 'test1'

在上面的代码中，Test1 被定义为对象类型和字符串的交集。根据我的理解，这应该导致 never 类型，因为没有值可以同时是具有属性的对象 b 和 c 字符串。

1. 当尝试将一个对象分配给 test1 时，我得到：

Type '{ b: number; c: string; }' is not assignable to type 'Test1'.
Type '{ b: number; c: string; }' is not assignable to type 'string'.

2. 当尝试将字符串分配给 test1 时，我得到：

Type 'string' is not assignable to type 'Test1'.
Type 'string' is not assignable to type '{ b: number; c: string; }'.

据我了解，这些应该表明 Test1 实际上是 never 类型，但 TypeScript 似乎没有在错误消息中提到 never。这是 TypeScript 中的错误，还是我在 TypeScript 处理此类交集的方式上遗漏了什么？

如能就此行为做出任何澄清，我们将不胜感激。谢谢！

• typescript-never
• 交叉类型
• 乐
• 交界处
• 等待句柄