What will type Result be?

type UnionToIntersection<U> =
  (U extends any ? (x: U) => void : never) extends
  (x: infer I) => void ? I : never;

type Result = UnionToIntersection<{ a: 1 } | { b: 2 }>;