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