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 6214885
4 * @summary This test exercises features provided by the new internal Diagnostics API
5 * @compile/fail/ref=T6214885a.out -XDdiags=%b:%l%_%t%m|%p%m T6214885.java
6 * @compile/fail/ref=T6214885b.out -XDdiags=%b:%l:%c%_%t%m|%p%m T6214885.java
7 */
8 class T6214885
9 {
10 public void m() {
11 x = 1;
12 }
13 }