Type narrowing does not work with template in union type

[ComiR]

Bug report

A template of union types used in another union as parameter type prevents the is_* methods from reducing the types.

Code snippet that reproduces the problem

https://phpstan.org/r/2b15a48c-e0d4-41fa-ac80-72191cd780a6

Expected output

Dumped type in foo() should be string (like in bar), in baz() it should be int.

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

Thanks for all the great work 🥇

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