A check on the emptiness of the array is marked redundant while it can be empty after the use of array_shift.

I provided a small example to demonstrate the issue.

https://psalm.dev/r/a33f3347d3