Wrong Parameter #3 $x ... of method B::foo() should be contravariant with parameter $x ... of method A::foo()

[mvorisek]

Bug report

The method signatures are exactly the same. The narrowed type from phpdoc is correctly propagated to the child method, but with unexpected "should be contravariant" PHPStan error.

Code snippet that reproduces the problem

https://phpstan.org/r/42a78688-a088-4b7a-95ac-426b82d5ef4e

Expected output

no error