Support call-site variance syntax from PHPStan

[VincentLanglet]

PHPStan introduced call-site variance https://phpstan.org/blog/guide-to-call-site-generic-variance But Psalm doesn't support the syntax so far. https://psalm.dev/r/8244015134

Would it be something possible ? A first step could be at least to not report an error for Foo<*> and consider Foo

Then there will be Foo<covariant Bar> and Foo<contravariant Bar>

[psalm-github-bot[bot]]

I found these snippets:

https://psalm.dev/r/8244015134

```php $collection */ function printSize(Collection $collection): int { return $collection->count(); } ``` ``` Psalm output (using commit 7428e49): ERROR: InvalidDocblock - 11:12 - Invalid type '*' in docblock for printSize ```

[kkmuffme]

Do you mean @template-covariant? This has been supported since a long time: https://psalm.dev/docs/annotating_code/templated_annotations/#template-covariance

[VincentLanglet]

Do you mean @template-covariant? This has been supported since a long time: psalm.dev/docs/annotating_code/templated_annotations/#template-covariance

No, I mean https://phpstan.org/blog/guide-to-call-site-generic-variance#call-site-variance

It's when you use

/** @param Collection<covariant Animal> $animals */

to enjoy some of the covariant feature for a non-covariant template in a specific method.

See https://phpstan.org/r/5689cf72-aca5-4bbc-9593-1ffdf182731b for example.

[vudaltsov]

That would be awesome!