Bug report

Hello!

Please see the snippet, it seems that after a certain point the array overflows and the count changes from int<0, 9> to int<1, max> despite the fact that no element has been added to the array with certainty.

Code snippet that reproduces the problem

https://phpstan.org/r/18ef4dbc-97bd-4434-97bb-86b6922dac3b

Expected output

I would expect the if(count($alerts)) not to raise an error even if the array has overflowed.

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

No response