Disjunction pruning boosts Swift type‑checker performance
A new disjunction selection heuristic dramatically reduces the time the Swift compiler spends solving complex type constraints. The change, detailed in Michael Tsai’s roadmap, enables the solver to prune dead‑end paths and solve many expressions that previously timed out, speeding up builds for real‑world code.