Oscillating boolean is "always false"

[phinor]

Bug report

A negated Boolean in a loop is used to oscillate between true and false on each iteration of the loop. PHPStan claims the expression is always false. This causes subsequent false positives in conditionals.

Code snippet that reproduces the problem

https://phpstan.org/r/7fffa805-d6b5-4397-a927-9b651294c76d

Expected output

No error.

The loop will ensure that the value changes on each iteration.

Did PHPStan help you today? Did it make you happy in any way?

I love this tool!

[ondrejmirtes]

Fixed: phpstan/phpstan-src@cde53d1

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.