Final classes should bypass static check

[muglug]

Bug report

<?php

class A {
    /** @return static */
    public static function getInstance() {
		$class = static::class;
        return new $class();
    }
}

final class AChild extends A {
    public static function getInstance() {
        return new AChild();
    }
}

Expected: no issue
Actual: Method AChild::getInstance() should return static(AChild) but returns AChild

https://phpstan.org/r/2c338741-4eae-443a-b677-e832a81ca29a

Slightly related to #3118

[phpstan-bot]

@muglug PHPStan now reports different result with your code snippet:

@@ @@
-13: Method AChild::getInstance() should return static(AChild) but returns AChild.
+ 5: Method A::getInstance() has no return typehint specified.
+12: Method AChild::getInstance() has no return typehint specified.

Full report

Line	Error
5	Method AChild::getInstance() has no return typehint specified.
12	Method AChild::getInstance() has no return typehint specified.

[phpstan-bot]

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

@@ @@
-13: Method AChild::getInstance() should return static(AChild) but returns AChild.
+No errors

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