// Test for a verification regression.interface I { }class D implements I { }class E extends D { }public class verify{  static void call(I v) { }  static void doit (Object x)  {    call ((x instanceof I) ? (I) x : new E ());  }  public static void main(String[] args)  {    doit(null);  }}