Static return type error

[vudaltsov]

This is another case around of #5070, I guess.

https://psalm.dev/r/3e50a930e7

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/3e50a930e7

<?php

abstract class A
{
    abstract public static function create(): static;
}

final class X extends A
{
    public static function create(): static
    {
        return new self();
    }
}

final class Z extends A
{
    /**
     * @psalm-return static
     */
    public static function create(): static
    {
        return new self();
    }
}

Psalm output (using commit 9d6d391):

INFO: LessSpecificReturnStatement - 12:16 - The type 'X' is more general than the declared return type 'X&static' for X::create

INFO: MoreSpecificReturnType - 10:38 - The declared return type 'X&static' for X::create is more specific than the inferred return type 'X'

[weirdan]

It seem to affect final classes only, even with return static.