verify.java

来自「this gcc-g++-3.3.1.tar.gz is a source fi」· Java 代码 · 共 21 行

// 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);
  }
}