分布式条件类型 Distributive conditional type

受检查位置为裸类型参数，并对联合中的每个成员分别计算的条件类型。