Mon, 17 Oct 2011 12:54:33 +0100
7097436: Project Coin: duplicate varargs warnings on method annotated with @SafeVarargs
Summary: Duplicate aliasing check during subtyping leads to spurious varargs diagnostic
Reviewed-by: jjg
1 /*
2 * @test /nodynamiccopyright/
3 * @bug 6943289
4 *
5 * @summary Project Coin: Improved Exception Handling for Java (aka 'multicatch')
6 * @author mcimadamore
7 * @compile/fail/ref=Neg04eff_final.out -XDrawDiagnostics Neg04eff_final.java
8 *
9 */
11 class Neg04eff_final {
12 static class A extends Exception {}
13 static class B extends Exception {}
15 void test() throws B {
16 try {
17 if (true) {
18 throw new A();
19 } else if (false) {
20 throw new B();
21 } else {
22 throw (Throwable)new Exception();
23 }
24 }
25 catch (A e) {}
26 catch (Exception e) {
27 throw e;
28 }
29 catch (Throwable t) {}
30 }
31 }