为什么这样 never 没有 extends never

114 阅读1分钟

先来看一下如下的一段代码

type T0 = never extends never ? true : false
type T<A> = A extends never ? true : false
type TX = T<never>

最下面的 TX 的类型的值会是什么呢?

true ?或者 false?

然而哪个都不是,结果是 never

大家可以思考一下,晚点再来更新一下后面的内容