/*

 * @test  /nodynamiccopyright/

 * @bug 7039822

 * @summary Verify typing of lub of exception parameter w.r.t getClass

 * @author Joseph D. Darcy

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

 */

public class Neg07 {

    private static void test(int i) {

        try {

            thrower(i);

        } catch (SonException | DaughterException e) {

            Class<? extends HasFoo> clazz2 = e.getClass(); // Rejected!

            HasFoo m = e;

            e.foo();

        }

    }

    private static interface HasFoo {

        void foo();

    }

    static void thrower(int i) throws SonException, DaughterException {

        if (i == 0)

            throw new SonException();

        else

            throw new DaughterException();

    }

    private static class ParentException extends RuntimeException {}

    private static class SonException

        extends ParentException

        implements HasFoo {

        public void foo() {

            System.out.println("SonException.foo");

        }

    }

    private static class DaughterException

        extends ParentException

        implements HasFoo {

        public void foo() {

            System.out.println("DaughterException.foo");

        }

    }

}