Bug report

This happend while trying to check if any value in my array is strictly equal to null (in_array(null, $array, true)) on an array having a value possibly null or boolean.

It throw an error function.alreadyNarrowedType telling that the result of the in_array is always true

It also throw an error deadCode.unreachable as a by-product

Code snippet that reproduces the problem

https://phpstan.org/r/06e26187-5d60-4337-9b1f-dfff6286bdf6

Expected output

Should not return any error

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

Yes, helped me avoiding a lot of error in production :)