class Class {
  int get m1 => 0;
  void set m2(int x) {}
}

extension Extension0 on Class {
  void set m1(int x) {}
  int get m2 => 0;
  void set m3(int x) {}
  int get m4 => 0;
}

extension Extension1 on Class {
  int get m3 => 0;
  void set m4(int x) {}
}

main() {}
errors() {}
expect(expected, actual) {}
