pkg/front_end/parser_testcases/extensions/covariant.dart

class A {}

class C extends A {}

extension on C {
  addChild(covariant A child) {}
}