A.java

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