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