False positive when comparing two variables to null and using the other

[gnutix]

Bug report

If you have two nullable variables, and you first check that both are null (and if so break/return/throw), then check if one is null and use the other, it should report that the "other" can be null.

Code snippet that reproduces the problem

With return : https://phpstan.org/r/a3327010-6db9-4d2e-bb4a-0ff19378de1d
With throw : https://phpstan.org/r/3eb7a19d-7fc1-49e9-8cde-411d06b1fd3d

Expected output

There should be no errors.

[phpstan-bot]

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

@@ @@
-11: Method HelloWorld::sayHello() should return string but returns string|null.
+No errors

[phpstan-bot]

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

@@ @@
-11: Method HelloWorld::sayHello() should return string but returns string|null.
+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.