/**
 * @template T
 */
class Stringer {
  /**
   * @param T $t
   */
  public static function takesParam($t) : string {
    return "hello";
  }
}

class AParent {}
class A extends AParent {}

/**
 * @template-extends Stringer<A>
 */
class AStringer extends Stringer {
  public static function foo() : string {
    return parent::takesParam("should not be allowed");
  }
}