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