Mon, 06 Dec 2010 11:50:37 +0000
7002070: If catch clause has an incompatible type, error pointer points to first exception type in list
Summary: Attribution should check each component of a disjunctive type separately, rather than checking the corresponding lub()
Reviewed-by: jjg
1 /*
2 * @test /nodynamiccopyright/
3 * @bug 5048776
4 * @compile/ref=T5048776a.out -XDrawDiagnostics T5048776.java
5 * @compile/ref=T5048776b.out -XDrawDiagnostics -Xlint:all,-path T5048776.java
6 */
7 class A1 {
8 void foo(Object[] args) { }
9 }
11 class A1a extends A1 {
12 void foo(Object... args) { }
13 }
15 class A2 {
16 void foo(Object... args) { }
17 }
19 class A2a extends A2 {
20 void foo(Object[] args) { }
21 }