pkg/front_end/parser_testcases/extensions/static_covariant.dart

class A {}

class C extends A {}

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