blob: 6b8c295d16cb8b42cd53f025fcb57f9f2d81d6ca [file] [log] [blame]
library test;
abstract class I {
int f(covariant Object x);
}
class B {
int f(int x) {}
}
class C extends B implements I {}
main() {}
void expect(Object value, Object expected) {}
void expectTypeError(void callback()) {}
void g(C c) {}
void test(C c, I i) {}