Emit SwitchConditionNode and report always-false switch case comparisons#5854

Open

phpstan-bot wants to merge 17 commits into

phpstan:2.2.xfrom

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

Commits on Jul 19, 2026

Emit SwitchConditionNode and report always-false switch case comparisons

ondrejmirtes
authored and
staabm
committed
Add in-trait test coverage for SwitchConditionRule

authored and
staabm
committed
Report always-true switch case comparisons

authored and
staabm
committed
Treat the last non-default switch case as last for always-true reporting

authored and
staabm
committed
Use early exit in last-non-default-case loop

authored and
staabm
committed
Use @param mixed PHPDoc instead of native mixed type for PHP 7.4

authored and
staabm
committed
Use @return PHPDoc instead of native false/true types for PHP 7.4

authored and
staabm
committed
Skip version-dependent SwitchConditionRule tests on older PHP

authored and
staabm
committed
Keep loose comparison with a never operand undecided

authored and
staabm
committed
Report duplicate switch cases

authored and
staabm
committed
Identify duplicate switch cases by type instead of a hand-rolled key

authored and
staabm
committed
fix bad merge
staabm
committed
Document that a never switch subject is intentionally not always-false

authored and
staabm
committed
Report always-false switch case on a never subject exhausted by earlier cases

authored and
staabm
committed
remove outdated comments
staabm
committed
Report loosely-equal numeric switch cases as duplicates

authored and
staabm
committed
I don't see why we should handle only numeric constant values
staabm
committed