CastAutoboxing2.java

class A {
  public abstract void zoo(int y);

  {
    Object x;
    zoo((<caret>) x);
  }
}