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