Mercurial > jdk8-mips64-public > langtools / file revision

• file
• revisions
• annotate
• diff
• comparison
• raw

test/tools/javac/defaultMethods/Neg07.java@d7d932236fee

test/tools/javac/defaultMethods/Neg07.java

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

author

mcimadamore

date

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

changeset 1393

d7d932236fee

child 1415

01c9d4161882

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

 /*

  * @test /nodynamiccopyright/

  * @summary check that default overrides are properly type-checked

  * @compile/fail/ref=Neg07.out -XDallowDefaultMethods -XDrawDiagnostics Neg07.java

  */

 class Neg07 {

     interface I {

         default int m() { return 1; }

     }

     static class C1 {

         public void m() { } //incompatible return

     }

     static class C2 extends C1 implements I { }

     static class C3 implements I {

         public void m() { } //incompatible return

     }

 }