T7030606.java

/*
 * @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) { }
    }
}