test/tools/javac/multicatch/Neg06.java

Mon, 06 Dec 2010 11:50:37 +0000

author
mcimadamore
date
Mon, 06 Dec 2010 11:50:37 +0000
changeset 774
56f59723fddf
parent 0
959103a6100f
permissions
-rw-r--r--

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 7002070
     4  *
     5  * @summary If catch clause has an incompatible type, error pointer points to first exception type in list
     6  * @author mcimadamore
     7  * @compile/fail/ref=Neg06.out -XDrawDiagnostics Neg06.java
     8  *
     9  */
    11 class Neg06 {
    12     void test() {
    13         try { }
    14         catch (String | Integer s) {}
    15     }
    16 }

mercurial