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

// @dart = 2.9
library test;

class B {
  covariant num x;
}

class C {
  int x;
}

class D extends C implements B {}

void main() {}