jdk-24/langtools/test/tools/javac/multicatch/Neg06.java
Maurizio Cimadamore 47f6d8a95e 7002070: If catch clause has an incompatible type, error pointer points to first exception type in list
Attribution should check each component of a disjunctive type separately, rather than checking the corresponding lub()

Reviewed-by: jjg
2010-12-06 11:50:37 +00:00

17 lines
344 B
Java

/*
* @test /nodynamiccopyright/
* @bug 7002070
*
* @summary If catch clause has an incompatible type, error pointer points to first exception type in list
* @author mcimadamore
* @compile/fail/ref=Neg06.out -XDrawDiagnostics Neg06.java
*
*/
class Neg06 {
void test() {
try { }
catch (String | Integer s) {}
}
}