PHP 8 static return type problem

[vudaltsov]

It works with the phpdoc, but does not work with type declaration.

https://psalm.dev/r/4096286383

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/4096286383

<?php

abstract class A
{
    final private function __construct() {}
    
    final protected static function create1(): static
    {
        return new static();
    }
    
    /** @return static */
    final protected static function create2()
    {
        return new static();
    }
}

final class B extends A
{
	public static function doCretate1(): self
    {
    	return self::create1();
    }
    
	public static function doCretate2(): self
    {
    	return self::create2();
    }
}

Psalm output (using commit c912b6c):

INFO: LessSpecificReturnStatement - 23:13 - The type 'A&static' is more general than the declared return type 'B' for B::doCretate1

INFO: MoreSpecificReturnType - 21:39 - The declared return type 'B' for B::doCretate1 is more specific than the inferred return type 'A&static'