libjava/testsuite/libjava.lang/verify.java

   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 {
   9   static void call(I v) { }
  10
  11   static void doit (Object x)
  12   {
  13     call ((x instanceof I) ? (I) x : new E ());
  14   }
  15
  16   public static void main(String[] args)
  17   {
  18     doit(null);
  19   }
  20 }