Bug report

If I check that one item of the array is the correct type, phpstan does not report that I mayt use another item with invalidtype

Code snippet that reproduces the problem

https://phpstan.org/r/f055c49c-c098-4328-be28-859fac2ebe9a

Expected output

Parameter #2 $param2 of function hello expects int, mixed given.

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

No response