void expectTypeError(callback()) {}

abstract class A {
  int foo;
}

abstract class B implements A {
  int get foo => 42;
  noSuchMethod(i) => "bar";
}

class C extends B {}

abstract class D implements A {
  void set foo(int value) {}
  noSuchMethod(i) => "bar";
}

class E extends D {}

main() {}