Type Alias UnionToIntersection<U>

UnionToIntersection: (U extends any ? (k: U) => void : never) extends (
    k: infer I,
) => void
    ? I
    : never

联合类型转交叉类型也就是{a:1}|{b:1}变成{a:1}&{b:1} TypeScript 有函数参数是有逆变的性质的 U extends any 触发分布式，用函数触发你便，转为交叉类型