Array shape not properly inferred in version 1.4

[Khartir]

Bug report

The shape of a locally defined array is not properly inferred in version 1.4. This worked before in 1.3.3.

Code snippet that reproduces the problem

https://phpstan.org/r/c0dbbff6-e525-4a9c-a466-3453f44ebb75

Expected output

No errors

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

I'm currently upgrading to 1.4 and once again phpstan finds more errors in my code.

[phpstan-bot]

@Khartir After the latest commit in 1.6.x, PHPStan now reports different result with your code snippet:

@@ @@
-22: Parameter #2 $haystack of function in_array expects array, array<int, string>|bool|string given.
+No errors

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