有这样几个 TypeScript 类型，大家先试着猜下 res 都是啥： 第一个： 传入的类型参数为联合类型 1 | 'a'，问 res 是啥 第二个： 传入的类型参数为 boolean，问 res

先从一个 ts 的语法开始： Test<T> 这个高级类型，有一个泛型参数 T，当 T 传入的类型为联合类型的时候，有两种情况： 如果 checkType（extends 左边的类型） 是 T，则把联