False positive with Symfony Messenger

[enumag]

Symfony\Component\Messenger\Envelope::all() returns a different type based on whether or not an argument was passed to it. Currently PHPStan doesn't know that which results in errors like this:

Parameter #1 ... of method ... expects array<array<Symfony\Component\Messenger\Stamp\StampInterface>>, array<array<Symfony\Component\Messenger\Stamp\StampInterface>|Symfony\Component\Messenger\Stamp\StampInterface> given.

I'd send PR but I'm not sure how cases like these should be solved in PHPStan. If you can give me an advice how to do it, I'll send the PR.

[ondrejmirtes]

You need to create a dynamic return type extension similar to this one, but maybe even easier: https://github.com/phpstan/phpstan-symfony/blob/master/src/Type/Symfony/HeaderBagDynamicReturnTypeExtension.php

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