Fix phpstan/phpstan#10055: Conditional argument type not properly narrowing type#5386

Merged

staabm merged 18 commits intophpstan:2.1.xfrom

phpstan-bot:create-pull-request/patch-6ci6gsl

Apr 13, 2026

Commits on Apr 13, 2026

Fix conditional parameter type narrowing for union types with 3+ members

VincentLanglet
authored and
staabm
committed
Use isSuperTypeOf for condition matching in conditional parameter types

authored and
staabm
committed
Remove useSubtypeForConditionMatching flag, use two-pass matching instead

authored and
staabm
committed
Explain why getFiniteTypes() guard is needed in Pass 2 condition matching

authored and
staabm
committed
Use UnionType guard instead of getFiniteTypes() in Pass 2 condition matching

authored and
staabm
committed
Remove UnionType guard from Pass 2 condition matching

authored and
staabm
committed
Fix lint

VincentLanglet
authored and
staabm
committed
Add non-regression tests for #13591, #12597, and #10422

authored and
staabm
committed
Merge rule test data files into nsrt files for #10422 and #13591

authored and
staabm
committed
Add non-regression tests for #6663 and #4090

authored and
staabm
committed
Add non-regression tests for #11218

authored and
staabm
committed
Fix

VincentLanglet
authored and
staabm
committed
more readable
staabm
committed
cs
staabm
committed
more readable
staabm
committed
Add comments explaining the two-pass condition matching in filterBySpecifiedTypes

phpstan-bot
and
claude
committed
Clarify comments: two-pass matching is about preferring exact matches, not speed

phpstan-bot
and
claude
committed
Update MutatingScope.php
staabm
committed