pkg/front_end/testcases/inference/infer_getter_from_later_inferred_getter.dart.textual_outline_modelled.expect

library test;

abstract class B implements C {
  get x;
}

abstract class C {
  int get x;
}

class A implements B {
  get x => f();
}

dynamic f() => null;

main() {}