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 6970584
4 * @summary Flow.java should be more error-friendly
5 * @author mcimadamore
6 *
7 * @compile/fail/ref=FailOver06.out -XDrawDiagnostics -XDshouldStopPolicy=FLOW -XDdev FailOver06.java
8 */
10 class Test extends Test {
11 Inference x = 1;
12 { if (x == 1) { } else { } }
13 }