Generic with abstract type

[R4c00n]

Hi, I'm trying to write an aggregator that takes a number of generic classes and specifies an abstract type as the type of those generics.
For me it looks like my the actual implementations should be compatible with the type hint of the aggregators constructor, but PHPStan thinks otherwise.
Do I miss something, or this actually not possible?

https://phpstan.org/r/4d5b5392-374f-47b7-9e42-5c1de71c9437

[ondrejmirtes]

You need @template-covariant for that: https://phpstan.org/r/fe153209-1fb8-4898-ae89-d4321ebfa183

Explanation: #4481 (comment)

[R4c00n]

Nice, thank you!