Bug report

Per title.

I can't seem to make it happy in all versions. Adding covariant to the types makes it complain on the older versions that the variance is redundant.

Code snippet that reproduces the problem

https://phpstan.org/r/52872ee9-9215-4eb7-8d03-a0ff6ced4d0c

Expected output

Not sure, but all versions should report the same errors (or all versions should report no errors)

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

No response