False positive when order of statements is changed

[mind-bending-forks]

Bug report

In certain circumstances, logic used to narrow down types is not correctly understood by phpstan.

Code snippet that reproduces the problem

https://phpstan.org/r/68974319-0f1f-4b77-9561-86f5da7cbc54

Expected output

• phpstan should understand that $result2['a'] is numeric and so can be cast to float.
• no errors reported by phpstan

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

Yes

[phpstan-bot]

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

@@ @@
-42: Cannot cast array<string>|string to float.
+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.