pkg/front_end/testcases/inference_new/infer_field_override_accessors.dart.textual_outline_modelled.expect

abstract class A {
  A get x;
  B get y;
  void set x(B value);
  void set y(A value);
}

abstract class B extends A {}

class C extends B {
  var x;
  var y;
}

main() {}