PHPDoc @return $this on interface causes covariant error

[Kingdutch]

Bug report

Adding @return $this to an interface function will cause PHPStan to report a covariant error, even though the $this returned by the implementing class should satisfy.

Code snippet that reproduces the problem

https://phpstan.org/r/a65e6de5-f29c-456d-8047-dda161734892

Expected output

No errors

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

Absolutely! Caught some bugs in things I had mistyped as well as some logic flaws. So after fixing that code review was smooth sailing :D

[ondrejmirtes]

Hi, it looks like this is just an inheritDoc issue, repeating @return $this works: https://phpstan.org/r/2cbec6e2-2583-40d5-8762-f6c18a89b7c5

It's still a bug, just a minor one. And thank you for your kind words! :)

[ondrejmirtes]

Fixed: phpstan/phpstan-src#2803

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.