is_array() type specification not working on variable declared in condition

[dktapps]

Bug report

It's hard to concisely describe this problem. The code can better explain.

Code snippet that reproduces the problem

https://phpstan.org/r/795b5a8b-9f34-438a-af37-14977d111516

Expected output

An error should be reported on L15 because I'm passing an array to a function which accepts string.

When checkExplicitMixed is set to true, both L14 and L15 complain about passing mixed as parameter, so the type inference is clearly not working correctly here.

[ondrejmirtes]

Yeah, these styles of conditions are problematic. Use much more readable: https://phpstan.org/r/f2ed55be-f53f-4957-ac31-d01ad3c052f2

[phpstan-bot]

@dktapps After the latest commit in dev-master, PHPStan now reports different result with your code snippet:

@@ @@
-No errors
+15: Parameter #1 $s of method HelloWorld::takesString() expects string, array given.

Full report

Line	Error
15	Parameter #1 $s of method HelloWorld::takesString() expects string, array given.

[ondrejmirtes]

Fixed: phpstan/phpstan-src@b2bf703

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