Result of in_array stored into variable is not enought for PHPStan array_shift(#1)

[Zarganwar]

Bug report

PHPStan 0.12.10

Test for array type before using array_shift() function doesn't work if result of test is stored into variable.

Code snippet that reproduces the problem

https://phpstan.org/r/77b64d46-6237-41d5-bf76-0dff0b17ad08

Expected output

All three variants written in code snippet are same but they have not same result.

[ondrejmirtes]

This falls under a considered (and complex) feature called Dependent types: https://github.com/phpstan/phpstan/milestone/12

[ondrejmirtes]

Fixed: phpstan/phpstan-src@a9d5c8b

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