Bug report

Code snippet that reproduces the problem

https://phpstan.org/r/30604226-e6f3-459e-947c-95a807f7c064

Expected output

The dumped type should be int, not int|null, because the number of items is known to be non-zero.