TypeScript 5.0 Conditional Type Inference Changes for Union Predicates
Goal Determine how TypeScript 5.0 modifies the inference behavior of distributive conditional types when the predicate is a union that includes a generic type parameter. Constraints & Uncertainty In TS 4.9 a conditional type such as T extends U ? X : Y distributes over each member of U when U is a union, and inference on T can propagate constraints that