Bug report
In this while loop, PHPStan does not detect that the array gets changed in the loop and then can become non-empty, which results in a false positive.
Code snippet that reproduces the problem
https://phpstan.org/r/8e18ce85-c0ed-41cf-ba69-9849c07af4be
Expected output
No warning.
Did PHPStan help you today? Did it make you happy in any way?
No response
Bug report
In this
whileloop, PHPStan does not detect that the array gets changed in the loop and then can become non-empty, which results in a false positive.Code snippet that reproduces the problem
https://phpstan.org/r/8e18ce85-c0ed-41cf-ba69-9849c07af4be
Expected output
No warning.
Did PHPStan help you today? Did it make you happy in any way?
No response