typescript - 为什么使用类型参数调用泛型的分布式条件类型与该类型的非泛型版本不同？

Question

// false
type BasicType = (string | number) extends string ? true : false;


// P is boolean
type Parameterized<T> = T extends string ? true : false;
type P = Parameterized<string | number>

为什么类型P和BasicType不一样？

标签： typescript