after8.java

// "Cast 2nd parameter to 'java.lang.Throwable'" "true"
class a {
    void f(Throwable a, Throwable b) {}
    void g() {
        Exception e=null;
        Object o = null;
        f(<caret>e, (Throwable) o);
    }
}