Bug report

while.alwaysTrue error is reported in the :never method.
I would assume that this is an exception where this kind of error should not be reported.

Code snippet that reproduces the problem

https://phpstan.org/r/03047f5f-ae80-48fd-a860-832f33d320c9

Expected output

No errors.

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

Awesome tool. thanks!