/*

 * @test /nodynamiccopyright/

 * @bug 6993963

 *

 * @summary Project Coin: Use precise exception analysis for effectively final catch parameters

 * @author mcimadamore

 * @compile Pos06.java

 *

 */

class Pos06 {

    static class A extends Exception {}

    static class B extends Exception {}

    void m() {

        try {

            if (true) {

                throw new A();

            }

            else {

                throw new B();

            }

        } catch (A | B ex) {

            System.out.println(ex);

        }

    }

}