test/tools/javac/T6230128.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 /*
     2  * @test  /nodynamiccopyright/
     3  * @bug 6230128
     4  * @compile/fail/ref=T6230128.out -XDrawDiagnostics T6230128.java
     5  */
     6 class A1 {
     7     public void foo(Object[] args) { }
     8 }
    10 class A1a extends A1 {
    11     void foo(Object... args) { }
    12 }

mercurial