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.