package p;
class A {
  void foo(A b){}
}
class F extends A {
  void foo(String s){}
}