library redirecting_factory_constructors.typeparambounds_test;

class X {}

class Y extends X {}

class A<T, S extends T> {
  A(T t, S s);
  factory A.redir(T t, S s) = A<T, S>;
}

main() {}