哪个条件类型会判断整个联合类型 T 是否可赋给 U？

哪个条件类型会判断整个联合类型 T 是否可赋给 U？

1. T extends U ? true : false
2. [T] extends [U] ? true : false
3. keyof T extends U ? true : false
4. T[keyof T] extends U ? true : false