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 7060926
4 * @summary Attr.PostAttrAnalyzer misses a case
5 *
6 * @compile/fail/ref=FailOver15.out -XDrawDiagnostics -XDshouldStopPolicy=FLOW -XDdev FailOver15.java
7 */
9 class Test {
10 void m() {
11 new UnknownClass<String, Void>() {
12 public String getString() {
13 String s = "";
14 s += "more";
15 return s;
16 }
17 }
18 }
19 }