test/tools/javac/5017953/T5017953.java

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

author
mcimadamore
date
Sun, 04 Nov 2012 10:59:42 +0000
changeset 1393
d7d932236fee
parent 0
959103a6100f
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 /*
     2  * @test  /nodynamiccopyright/
     3  * @bug 5017953
     4  * @summary spurious cascaded diagnostics when name not found
     5  * @compile/fail/ref=T5017953.out -XDrawDiagnostics T5017953.java
     6  */
     8 class T5017953 {
    10     int f = 0;
    11     void test(int i) {}
    13     {   test(NonExistentClass.f ++);
    14         test(1 + NonExistentClass.f);
    15         test(NonExistentClass.f + 1);
    16         test(NonExistentClass.f + NonExistentClass.f);
    17         test(NonExistentClass.f += 1);
    18         test(f += NonExistentClass.f);
    19     }
    20 }

mercurial