False positive in condition with null-safe operator

[janlanger]

Bug report

When null-safe operator ?-> call is used in condition and same variable is later used inside that condition, PHPStan reports Cannot call method bar() on Foo|null. But variable cannot be null at that point.

Code snippet that reproduces the problem

https://phpstan.org/r/23989351-570f-4155-99eb-e911b9c8523e

Expected output

No error reported

[ondrejmirtes]

Another example: https://phpstan.org/r/9c75fbb0-02ba-4be0-abff-3cca1ce76062

[ondrejmirtes]

Fixed: phpstan/phpstan-src@6622401

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