// @dart = 2.9
abstract class C implements A, B {}

class A {
  dynamic operator +(covariant int a) => null;
}

class B {
  dynamic operator +(dynamic b) => null;
}

class D {
  dynamic operator +(dynamic d) => null;
}

class E extends D {
  dynamic operator +(covariant int e);
}

main() {}