Fix phpstan/phpstan#4090: Array detected as empty while it cannot#5387

Open

phpstan-bot wants to merge 12 commits intophpstan:2.1.xfrom

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

Commits on Apr 2, 2026

Fix array not narrowed to non-empty when count stored in variable

VincentLanglet
authored and
phpstan-bot
committed
Replace instanceof IntegerRangeType with Type methods in conditional matching

phpstan-bot
and
claude
committed
Add comment explaining why isSuperTypeOf matching is limited to integer ranges

phpstan-bot
and
claude
committed
Use isSuperTypeOf for all types in conditional expression matching

phpstan-bot
and
claude
committed
Fix regression: only use isSuperTypeOf fallback when multiple conditional expressions exist

phpstan-bot
and
claude
committed
Merge two foreach loops over conditionalExpressions into a single loop

phpstan-bot
and
claude
committed
Inline conditionalExpressionHolderMatches to avoid duplicating equals call

phpstan-bot
and
claude
committed