Problem with @return static

[MidnightDesign]

See https://phpstan.org/r/98a3d03f-add8-407f-ac45-69ac58dbba7e

<?php declare(strict_types = 1);

interface FooInterface
{
    /**
     * @return static
     */
    public function deserialize();
}

final class Foo implements FooInterface
{
    public function deserialize(): self
    {
        return new self();
    }
}

Expected behavior:
No errors

Actual behavior:
I get the error

Return type (Foo) of method Foo::deserialize() should be covariant with return type (static(FooInterface)) of method FooInterface::deserialize()

[ondrejmirtes]

For some reason the PHPDoc isn't inherited but should be: https://phpstan.org/r/d965bee2-214a-494f-b2ea-1fb3fe973443

[phpstan-bot]

@ondrejmirtes After the latest commit in dev-master, PHPStan now reports different result with your code snippet:

@@ @@
-18: Method Foo::deserialize() should return static(Foo) but returns Foo.
+16: Return type (Foo) of method Foo::deserialize() should be covariant with return type (static(FooInterface)) of method FooInterface::deserialize()

Full report

Line	Error
16	Return type (Foo) of method Foo::deserialize() should be covariant with return type (static(FooInterface)) of method FooInterface::deserialize()

[MidnightDesign]

@ondrejmirtes Are you sure this is fixed? I would expect my playground snippet to not have any errors, but it still does.

[ondrejmirtes]

Your playground no longer has errors: https://phpstan.org/r/22531cbe-e58b-406d-b4d3-e04abcaeb545 (the bot does not comment on closed issues)

[MidnightDesign]

The original one does: https://phpstan.org/r/98a3d03f-add8-407f-ac45-69ac58dbba7e (I would expect the @return static to be inherited from FooInterface::deserialize())

[ondrejmirtes]

@MidnightDesign There's a big button that says "This result is out of date. Show the latest result".

[MidnightDesign]

Wasn't big enough for my shitty eyes. I'm sorry and thanks for the quick response!

[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.