// @dart = 2.9
library test;

class C {
  void set x(num value) {}
}

class D extends C {
  void set x(covariant int value) {}
}

class E extends D {
  void set x(int value) {}
}

main() {}