Question

never 类型，它代表了“虚无”的类型，一个根本不存在的类型。对于这样的类型，它会是任何类型的子类型，当然也包括字面量类型：

type Result33 = never extends 'wangxiaobai' ? 1 : 2; // 1

但你可能又想到了一些特别的部分，比如 null、undefined、void。

type Result34 = undefined extends 'wangxiaobai' ? 1 : 2; // 2
type Result35 = null extends 'wangxiaobai' ? 1 : 2; // 2
type Result36 = void extends 'wangxiaobai' ? 1 : 2; // 2

上面三种情况当然不应该成立。在 TypeScript 中，void、undefined、null 都是切实存在、有实际意义的类型，它们和 string、number、object 并没有什么本质区别。

这里得到的结论是，never < 字面量类型。

现在可以开始组合整个类型层级了。