条件类型 Conditional type

通过T extends U测试可赋值关系，并在两个结果中选择其一的类型表达式。