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

// @dart = 2.9
class A {}

class B extends A {}

class C {
  void f(A x) {}
}

class D extends C {
  void f(x) {}
}

class E extends D {
  void f(A x) {}
}

class F extends D {
  void f(B x) {}
}

main() {}