Grégoire Paris

Let's close; there are IMO [better ways to do this](https://packagist.org/packages/dama/doctrine-test-bundle)

I think it would be great! `@template-covariant` is not inherited by extending interfaces, right?

I'm going to do something similar to https://github.com/doctrine/reflection/pull/53

Out of curiosity, what use case would you have for this in your company?

Funny, I just saw this: https://twitter.com/PHPRFCBot/status/1372252058028449797

I was not implying it at all that it wouldn't be worth it, don't worry ;)

I think it would make sense to annotate `matching` as described above given that all existing implementations indeed seem to fulfill that requirement. Please send a PR.

Since this is only about static analysis, I'd say it's fine to pretend this was always what was intended, and ship it in a minor version.

@Univalgo when this comment is addressed I suppose: https://github.com/doctrine/annotations/pull/436#discussion_r811456259

I should have known. Converting to draft until the right moment comes.