ts的类型没有重叠什么意思, 以及这里的类型"1", 类型"2", 又怎么理解呢 ?

Question

Answer 1

就是字面意思。

你这个判断条件永远成立，所以 TS 认为你写错了，有没有判断多一样。

因为你这个条件要想不成立，就必须存在一个 x === 1 && x === 2，可并不存在，即所谓的 1、2 不重叠。