/*
 * @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) {}
    }
}