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 = throw '';
}

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

class B<T> {
  T x = throw '';
  T y = throw '';
}

main() {}