2 
type a<T> = T extends {} ? true : false;

type a111 = a<never>; // never

type a222 = never extends {} ? true : false; // true

游乐场链接

我认为a111并且a222应该是平等的，但他们不是。为什么 a111 和 a222 的结果不同？

4

0 回答 0