Issue with template inheritance

[VincentLanglet]

The following code is valid with phpstan
https://phpstan.org/r/3475a9a3-539c-49d8-a476-77fb11b77d98

But not with psalm https://psalm.dev/r/a9385e48ec

Copy pasting the $classs property fix the issue
https://psalm.dev/r/498a052aff

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/a9385e48ec

<?php

/**
 * @phpstan-template T of object
 */
interface AA {
    /**
     * @phpstan-return class-string<T>
     */
    public function foo(): string;
}

/**
 * @phpstan-template T of object
 */
class B
{
    /**
     * @var string
     * @phpstan-var class-string<T>
     */
    protected $classs;
    
    /**
     * @phpstan-param class-string<T> $class
     */
    public function __construct(string $class)
    {
        $this->classs = $class;
    }
}

/**
 * @phpstan-template T of object
 * @phpstan-extends B<T>
 * @phpstan-implements AA<T>
 */
class A extends B implements AA {
    public function foo(): string
    {
        return $this->classs;
    }
}

Psalm output (using commit f41deea):

INFO: LessSpecificReturnStatement - 41:16 - The type 'class-string' is more general than the declared return type 'class-string<T:A as object>' for A::foo

https://psalm.dev/r/498a052aff

<?php

/**
 * @phpstan-template T of object
 */
interface AA {
    /**
     * @phpstan-return class-string<T>
     */
    public function foo(): string;
}

/**
 * @phpstan-template T of object
 */
class B
{
    /**
     * @var string
     * @phpstan-var class-string<T>
     */
    protected $classs;
    
    /**
     * @phpstan-param class-string<T> $class
     */
    public function __construct(string $class)
    {
        $this->classs = $class;
    }
}

/**
 * @phpstan-template T of object
 * @phpstan-extends B<T>
 * @phpstan-implements AA<T>
 */
class A extends B implements AA {
    /**
     * @var string
     * @phpstan-var class-string<T>
     */
    protected $classs;
    
    public function foo(): string
    {
        return $this->classs;
    }
}

Psalm output (using commit f41deea):

No issues!

[weirdan]

Simplified: https://psalm.dev/r/f32dc309ac

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/f32dc309ac

<?php
/** @template T of object */
abstract class B {
    /** @var class-string<T> */
    protected $classs;
    /** @return class-string<T> */
    abstract public function foo(): string;
}

/**
 * @template T of object
 * @extends B<T>
 * @psalm-suppress MissingConstructor
 */
class A extends B {
    public function foo(): string {
        /** @psalm-trace $this->classs */;
        return $this->classs;
    }
}

Psalm output (using commit f41deea):

INFO: Trace - 17:42 - $this->classs: class-string

INFO: LessSpecificReturnStatement - 18:16 - The type 'class-string' is more general than the declared return type 'class-string<T:A as object>' for A::foo