Semantic : Accessibility should be check from callsite, not owner

package p1;
public class A extends B {}
class B {
public int foo(){};
}

package p2;
class C  {
  void fun(A a) {
     a.foo(); // Method not resolved if accessibility checked from owner as classes are not in the same package
  }
}