Iterator in foreach never returns null even if current() is nullable

[tomasfejfar]

Bug report

Code snippet that reproduces the problem

https://phpstan.org/r/c7a2a195-b481-4cbe-9888-1bd4630b71b1

Expected output

No problem, because the current() is internally used only only after checking that the next item exists. So it always returns Row, never null.

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

Yes, I'm fixing a lot of stuff and it gets me excited that my work will be much easier in the future!

[ondrejmirtes]

This is very close to: #5817

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