pkg/front_end/parser_testcases/extensions/not_covariant.dart

class A {}

class C extends A {}

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