Callable parameter loses its argument typing when part of an union type

[axlon]

Bug report

When a function (or method) accepts a callable as part of a union, the type of the callable's parameters seems to get lost.

Code snippet that reproduces the problem

https://phpstan.org/r/7e566448-8b05-4b83-9082-f2169233c862

Expected output

I'd expect the type of the callable's $attributes parameter in the example to be array<string, mixed>, but for some reason PHPStan thinks its mixed. When the union is removed (leaving only the callable), PHPStan reports correctly.

Did PHPStan help you today? Did it make you happy in any way?

PHPStan recently pointed me to a minor issue (when we raised its level) which led me to notice one of our tests was comprised entirely of false positives

[ondrejmirtes]

This is the piece of code responsible that needs modifying: https://github.com/phpstan/phpstan-src/blob/4f72fdc29eecc12771de3d500a3d336b94c3d685/src/Analyser/NodeScopeResolver.php#L2860-L2868

[axlon]

Thanks for pointing me in the right direction, will attempt a fix

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