TypesHierarchyBasedOnCalledMethod.after.java

class A {
  public final void foo() {}
}
class B extends A {}
class C {
  void f(B b) {
      B v = b;
      v.foo();
  }
}