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

// @dart = 2.9
class A {
  method(num a) {}
}

class B extends A {
  method(dynamic a) {}
}

class C extends B {
  method(covariant String a) {}
}

main() {}