Bind unmatched template types to `never` when inferring an argument against a union of template types#5863

Open

phpstan-bot wants to merge 2 commits into

phpstan:2.2.xfrom

phpstan-bot:create-pull-request/patch-581990r

Commits on Jun 13, 2026

Bind unmatched template types to `never` when inferring an argument against a union of template types

VincentLanglet
authored and
phpstan-bot
committed
Add rule test for undefined method calls on union template return types

phpstan-bot
and
claude
committed