Assignemt inside function call isn't passed correctly

[AJenbo]

Bug report

Assignment inside a function call is not passed correctly as the function won't be affecting the statically derived type of the variable.

if (is_object($obj = $this->getObj()))
// Incorrectly things that $obj can still be either an object or a null

$obj = $this->getObj();
if (is_object($obj))
// Correctly determin that $obj is an object.

Code snippet that reproduces the problem

https://phpstan.org/r/0e339d8a-da81-4edf-90f0-5f8150055d69

[phpstan-bot]

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

@@ @@
-8: Cannot access property $something on stdClass|null.
+No errors

[ondrejmirtes]

Fixed: phpstan/phpstan-src@b2bf703

[AJenbo]

Cool, also nice bot :)

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