typescript - 打字稿类型的行为截然相反

Question

为什么 ？

type x<T> = T extends 1 | 2 ? true : false;

let c1: x<1 | 2 | 3> = true

type y = 1 | 2 | 3 extends 1 | 2 ? true : false;

let c2: y = false

两者都在 TS 游乐场有效。

游乐场链接

标签： typescript