Use pairwise `TypeCombinator::intersect` folding for conditional expression holders to avoid exponential union distribution#5482

Merged

ondrejmirtes merged 6 commits intophpstan:2.1.xfrom

phpstan-bot:create-pull-request/patch-vj244vy

Apr 16, 2026

Commits on Apr 16, 2026

Use pairwise `TypeCombinator::intersect` folding for conditional expression holders to avoid exponential union distribution

phpstan-bot
authored and
ondrejmirtes
committed
Fix more cases
ondrejmirtes
committed
More pair-wise intersect
ondrejmirtes
committed
Avoid 2^N `getAllArrays()` expansion in `implode()` return type extension

ondrejmirtes
and
claude
committed
Avoid 2^N `getAllArrays()` expansion in `ConstantArrayType::getFiniteTypes()`

ondrejmirtes
and
claude
committed
Bail early in `TypeUtils::flattenTypes()` to avoid 2^N `getAllArrays()` expansion

ondrejmirtes
and
claude
committed