test/tools/javac/6863465/T6863465d.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     6863465
     4  * @summary javac doesn't detect circular subclass dependencies via qualified names
     5  * @author  Maurizio Cimadamore
     6  * @compile/fail/ref=T6863465d.out -XDrawDiagnostics T6863465d.java
     7  */
     9 class T6863465d {
    10     static class a { static interface b { static interface d {} } }
    11     static class c extends a implements z.y, z.d {}
    12     static class x { static interface y { static interface w {} } }
    13     static class z extends x implements c.b, c.w {}
    14 }

mercurial