pkg/front_end/testcases/general/implicit_covariance.dart.textual_outline_modelled.expect

abstract class A<T> {
  foo(T x);
}

class C {
  foo(num x) {}
}

class D<T extends num> extends C with B<T> {}

class E<T extends num> = C with B<T>;

main() {}

mixin B<T> implements A<T> {}