library test;

void expectTypeError(void callback()) {}
void expect(Object value, Object expected) {}

class B {
  int get x {}
  void set x(int value) {}
  int get y {}
  void set y(int value) {}
}

abstract class I<T> {
  T get x;
  void set x(T value);
  Object get y;
  void set y(covariant Object value);
}

class M {
  int x;
  int y;
}

class C = B with M implements I<int>;
void test(I<Object> i) {}
void main() {}