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 /* @test /nodynamiccopyright/
2 @bug 4087127 4785453
3 @author dps
4 @summary field: instance access through types is not allowed
6 @compile/fail/ref=NonStaticFieldExpr1.out -XDrawDiagnostics NonStaticFieldExpr1.java
7 */
8 class NonStaticFieldExpr1 {
9 public int x;
10 int y = NonStaticFieldExpr1.x; // SHOULD BE ERROR
11 }