Incorrect inference when constructing class-string template with static

[AndrolGenhald]

Extension of #8200.

https://psalm.dev/r/fe2c4dfb31 new static() from Test::create() is incorrectly inferred as Test&T where T is Maybe.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/fe2c4dfb31

<?php

/**
 * @template-covariant A
 * @psalm-immutable
 * @psalm-consistent-constructor
 * @psalm-consistent-templates
 */
final class Maybe
{
    /**
     * @param A $value
     */
    public function __construct(public $value) {}

    /**
     * @template B
     * @param B $value
     * @return Maybe<B>
     *
     * @psalm-pure
     */
    public static function just($value): self
    {
        return new self($value);
    }
}

abstract class Test
{
    final private function __construct() {}

    /**
     * @template T of Maybe
     * @param class-string<T> $maybeClass
     */
    final public static function create(string $maybeClass = Maybe::class): static
    {
        $maybe = $maybeClass::just(new static());
        foobar($maybe->value);
        return $maybe->value;
    }
}

function foobar(Maybe $m): void {}

Psalm output (using commit 6d45003):

No issues!