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

library test;

class B {
  covariant num x = 0;
}

class C {
  int x = 0;
}

class D extends C implements B {}

void main() {}