Support generic type as upper bound of another generic type

[jost125]

Feature request

Is there any plan to support upper bounds based on another generic type? E.g:

https://phpstan.org/r/3865be4c-01c9-432b-98c6-2452912705e3

We need this to implement variance correctly on multiple types in our library.

[ondrejmirtes]

Hi, it's similar to this but I'll keep both open: #3922

Would be nice to have some real-world examples with expected output (when it finds a real bug) so that I know when @template B of A can make a difference instead of just @template B.

[jost125]

Hi, sorry for late replay, I will add more obvious example soon, I am just too busy right now ;-)

[ondrejmirtes]

Closing this - feel to reopen when you provide useful examples :) Thanks.

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