/*

 * @test /nodynamiccopyright/

 * @bug 7030606

 *

 * @summary Project-coin: multi-catch types should be pairwise disjoint

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

 */

class T7030606 {

    class E1 extends Exception { }

    class E2 extends E1 { }

    void e1() throws E1 { }

    void e2() throws E2 { }

    void m1() {

        try {

            e1();

            e2();

        } catch (NonExistentType | E2 | E1 e) { }

    }

    void m2() {

        try {

            e1();

            e2();

        } catch (NonExistentType | E1 | E2 e) { }

    }

    void m3() {

        try {

            e1();

            e2();

        } catch (E2 | NonExistentType | E1 e) { }

    }

    void m4() {

        try {

            e1();

            e2();

        } catch (E1 | NonExistentType | E2 e) { }

    }

    void m5() {

        try {

            e1();

            e2();

        } catch (E2 | E1 | NonExistentType e) { }

    }

    void m6() {

        try {

            e1();

            e2();

        } catch (E1 | E2 | NonExistentType  e) { }

    }

}