Type Alias ChainedIntersection<T>

ChainedIntersection: T extends [infer F, infer S, ...(infer R)]
    ?
        | F & S
        | ChainedIntersection<[S, ...R]>
        | ChainedIntersection<[F, ...R]>
    : T extends [infer F, infer S] ? F & S : never

Compute chained intersections across multiple types.

Type Parameters

T extends unknown[]
Tuple of types

Since

1.1.0

Remarks

Produces all pairwise and transitive intersections across a tuple of types. Useful for detecting overlapping keys or values.

Will return never if only one type is given.

Can be slow for large tuples due to combinatorial explosion.

Example

type KeysA = 'a' | 'aa'
type KeysB = 'b' | 'bb'
type KeysX = 'x' | 'bb'
type Intersection1 = ChainedIntersection< [ KeysA, KeysB, KeysX ] >  // "bb"
type Intersection2 = ChainedIntersection< [ true, false, 1, true ] > // true