test/tools/javac/NonStaticFieldExpr3.java

Sun, 04 Nov 2012 10:59:42 +0000

author
mcimadamore
date
Sun, 04 Nov 2012 10:59:42 +0000
changeset 1393
d7d932236fee
parent 611
4172cfff05f0
child 2525
2eb010b6cb22
permissions
-rw-r--r--

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 class: instance access through types is not allowed
     6    @compile/fail/ref=NonStaticFieldExpr3.out -XDrawDiagnostics NonStaticFieldExpr3.java
     7 */
     9 class NonStaticFieldExpr3 {
    10   public int x;
    11 }
    13 class Subclass extends NonStaticFieldExpr3 {
    14   int a = NonStaticFieldExpr3.x;      // SHOULD BE ERROR
    15 }

mercurial