Subversion Repositories openrisc

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