1 // Test for a verification regression. 2 3 interface I { } 4 class D implements I { } 5 class E extends D { } 6 7 public class verify 8 { call(I v)9 static void call(I v) { } 10 doit(Object x)11 static void doit (Object x) 12 { 13 call ((x instanceof I) ? (I) x : new E ()); 14 } 15 main(String[] args)16 public static void main(String[] args) 17 { 18 doit(null); 19 } 20 } 21