Regression in handling of list contents

[Seldaek]

Bug report

See this repro case:

https://phpstan.org/r/61ab77ae-262b-4d1f-b19c-e72392ba45f6

Expected output

No error as $this->suggestions can be empty at line 20 due to the array_shift($this->suggestions) at line 13. The fact that it entered the while() does not prove it still has data in the array by the end of it.

Note that with 0.12.54 it does not error. I am not sure which version since then added the regression but at least at that one it worked.

[ondrejmirtes]

Fixed, thank you! phpstan/phpstan-src@6b2afbc

[Seldaek]

Awesome thanks :)

[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.