CastAutoboxing3.java

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

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