条件类型为什么会对联合类型分发？[T] extends [U] 和 infer 解决什么问题？