Type Alias Intersection<G>

Intersection: Union<G> extends infer U
    ? (U extends unknown ? (x: U) => void : never) extends (
        x: infer I,
    ) => void
        ? I
        : never
    : never

Extracts the intersection of guarded types from an array of type guards.

Given an array of Guard functions, infers the intersection of all types they guard. Useful for deriving the result type of intersection validation with isIntersection.