Unable to deduce a complex logic

[Einenlum]

Bug report

(Sorry for the title, could not find one describing the issue. If you have one, you're very welcome to edit it)

Found an interesting bug. This is complex to solve, I think, but still, phpstan produces a warning when it should not. I know it's really far-fetched and this code should be refactored anyway, but I found this false positive report in an old legacy code.

$dedicated can only be true when $component is an instance of Server.

Code snippet that reproduces the problem

• https://phpstan.org/r/9d2d07c6-6908-4051-b543-8b8d70d517ef
• https://phpstan.org/r/26eb42dc-c26b-4b2e-aa07-56419dadde52

Expected output

Should raise no error.

[ondrejmirtes]

Yes, there's a milestone with issues like these: https://github.com/phpstan/phpstan/milestone/12

You're better off rewriting the code so that PHPStan understands it, it's not hard: https://phpstan.org/r/7171be46-1c3b-44fd-8d34-6cb3d3ea46ba

[phpstan-bot]

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

@@ @@
-15: Call to an undefined method object::getSize().
+No errors

[phpstan-bot]

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

@@ @@
-15: Call to an undefined method object::getSize().
+No errors

[ondrejmirtes]

Fixed: phpstan/phpstan-src@56ae015

[Einenlum]

Thank you very much 🙏

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