Sun, 04 Nov 2012 10:59:42 +0000
7192246: Add type-checking support for default methods
Summary: Add type-checking support for default methods as per Featherweight-Defender document
Reviewed-by: jjg, dlsmith
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 }