@psalm-require-extends does not consider generics about psalm HOT 1 OPEN

<?php

/** @template T */
class A {
    /** @param T $a */
    public function __construct(protected readonly $a) {}
}

/**
 * @template T
 * @psalm-require-extends A<T>
 */
trait C {
	/** @return T */
    public function a() { return $this->a; }
}

/**
 * @template T
 * @extends A<T>
 */
class B extends A {
    /** @use C<T> */
	use C;
}

/** @psalm-trace $_a */
$_a = (new B('ssss'))->a();