in_array cannot be used as null check

[petermein]

Bug report

When trying to check if an array contains any NULL values. The in_array function can be used with the strict flag set.
However PHPStan is not picking up that the values cannot be null inside of the array.

Code snippet that reproduces the problem

https://phpstan.org/r/69897217-fd94-497b-9e98-4baa6b2b96db

Expected output

The output should mention string is givin instead of string|null.

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

PHPStan is the best! We've worked around this issue with the help of Webmozart assert, but it not diminished our excitement in using PHPStan. Great job!

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