Bug report

the value count() of SplQueue is not updated after a shift/pop so phpstan still assumes it's > 0

<?php $queue = new SplQueue(); $queue->push(1); if ($queue->count() > 0) { for ($i=0;$i<5;$i++) { while ($queue->count() > 0 && $value = $queue->shift()) { //do something with $value } } } 

https://phpstan.org/r/84059d16-0659-4b9e-9001-1a7148bc930e

Expected output

no errors

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

It makes me happy every day! (well at least after I solve all the issues it reports)