pkg/front_end/testcases/extension_types/inferred_types.dart.textual_outline.expect

var g = e.field;

var f = d.field;

E e = E(C(42));

D d = D(C(42));

extension type E(C c) implements C {}

extension type D(C c) implements B {}

class C implements B {
  final field;
  C(this.field);
}

abstract class B implements A {
  get field;
}

abstract class A {
  int get field;
}