blob: 1b0c9b85a94af2d3a0d6996ac3a47b4070555fce [file] [log] [blame]
// @dart = 2.9
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) {}