/*

 * @test /nodynamiccopyright/

 * @bug 4053998

 * @summary Compiler used to not notice the uncaught checked exception.

 * @author turnidge

 *

 * @compile/fail/ref=UncaughtException.out -XDrawDiagnostics  UncaughtException.java

 */

interface I {

    void throwCheckedException ();

}

class A {

    public void throwCheckedException () throws Throwable {

        throw new Throwable();

    }

}

class B extends A implements I {

}

public class UncaughtException {

    public static void main (String[] args) {

        I b = new B();

        b.throwCheckedException();

    }

}