language/default_factory2_test/none

7.6.2 Factories
It is a static type warning if any of the type arguments to k' are not subtypes of the bounds of the corresponding formal type parameters of type.

Here A<T> has type argument that is not subtype of Foo.

abstract class Foo {}

abstract class IA<T> {
  factory IA() = A<T>;
}

class A<T extends Foo> implements IA<T> {
   factory A(){}
}