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

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

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) {}
}

test(Subclass sub) {}

main() {}