Distributive Conditional Types

Distributive conditional types apply a conditional type to each member of a union separately. This powerful behavior enables union transformation and filtering.

When a conditional type has a bare generic T and T is a union, TypeScript applies the conditional to each union member separately.

type Wrap<T> = T extends any ? { value: T } : never;
type R = Wrap<string | number>;
// = { value: string } | { value: number }