library test;

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

class B {
  int f(int x) {}
}

abstract class I {
  int f(covariant Object x);
}

class C extends B implements I {}

void g(C c) {}
void test(C c, I i) {}
main() {}