21 lines
309 B
Java
21 lines
309 B
Java
// 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);
|
|
}
|
|
}
|