pkg/front_end/testcases/general/super_semi_stub.dart.textual_outline_modelled.expect

class Class extends Super {
  void method(covariant int a);
  void set setter(covariant int a);
}

class Subclass extends Class {
  void method(int a) {}
  void set setter(int a) {}
}

class Super {
  void method(num a) {}
  void set setter(num a) {}
}

main() {}
test(Subclass sub) {}