Recover never-collapsed variables from the loop-condition falsey scope for side-effecting `while`/`for` conditions - #5923

Closed

phpstan-bot wants to merge 6 commits into

phpstan:2.2.xfrom

phpstan-bot:create-pull-request/patch-7a1yw80

Commits on Jul 18, 2026

Recover never-collapsed variables from the loop-condition falsey scope for side-effecting `while`/`for` conditions
staabm
committed
292061b
Add rule test covering the reported identical.alwaysFalse false positive

authored and
staabm
committed
150cf4d
fix name collision
staabm
committed
76d7aed
use 1:1 repro
staabm
committed
5ae4e85
Recover short-circuited side-effecting loop variables from the condition falsey scope

authored and
staabm
committed
4dec75f
Add do-while assertions to the side-effecting loop-condition test

phpstan-bot
and
claude
committed
c9af731