Bug report

When an array is passed to shuffle() it gets reindexed from 0. PHPStan does not detect this.

Code snippet that reproduces the problem

• https://3v4l.org/n9HIf
• https://phpstan.org/r/ee6853b0-c54a-48c0-97aa-579ee507d9b9

Expected output

shuffle() should be aware that the array that's passed to it gets reindexed from 0.

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

Always :)