pkg/front_end/testcases/runtime_checks_new/generic_covariance_based_on_inference.dart.textual_outline_modelled.expect

library test;

abstract class C<T> implements B<num> {
  get y;
  set y(value);
  var x;
}

abstract class D<T> implements B<T> {
  get y;
  set y(value);
  var x;
}

class B<T> {
  T x;
  T y;
}

main() {}