array_shift() is not understood

[szepeviktor]

Bug report

I think $item contains $collection which is not null.

Call to function is_array() with null will always evaluate to false.

Code snippet that reproduces the problem

https://phpstan.org/r/3e7005bc-8e9c-4955-bacd-f6dad8b11ff0

Expected output

[OK] No errors

[szepeviktor]

Source: https://github.com/lstrojny/functional-php/blob/master/src/Functional/Flatten.php#L43

[muglug]

I think related to #1723, #1722.

@szepeviktor since you're a contributor, you may be able to fix these bugs. Happy to help you – I've had this working in Psalm for a while.

[szepeviktor]

Closing favor of #1723

[ondrejmirtes]

These are two separate issues I think. One involves general arrays and the other literal arrays.

[ondrejmirtes]

Fixed by: phpstan/phpstan-src#333

[szepeviktor]

Thank you.

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