Invalid generic type resolution after class instances are created in an if branch

[biozshock]

Bug report

After an if branch phpstan detects the variable of a wrong type.
Sure moving the apply inside the if fixes the problem, but it smells a lot.

Code snippet that reproduces the problem

https://phpstan.org/r/5c6d4ab7-013c-40cb-a867-da3b42288d4c

Expected output

No errors

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

Thank you everybody for your hard work!

[phpstan-bot]

@biozshock After the latest push in 1.8.x, PHPStan now reports different result with your code snippet:

@@ @@
-41: Parameter #1 $a of method Foo<B>::apply() expects B, B|C given.
+No errors

[ondrejmirtes]

/cc @rvanvelzen Regression test please 😊

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