void (Object result) { final boolean varargs = result instanceof Intf; new Runnable() { public void run() { } }; Intf a = (<warning descr="Casting 'result' to 'Intf' may produce 'ClassCastException'">Intf</warning>)result; }