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

D d = D(C(42));

E e = E(C(42));

abstract class A {
  int get field;
}

abstract class B implements A {
  get field;
}

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

extension type D(C c) implements B {}

extension type E(C c) implements C {}

var f = d.field;

var g = e.field;