jdk8-mips64-public/langtools: test/tools/javac/defaultMethods/Neg07.java@a1dc543483fc (annotated)

test/tools/javac/defaultMethods/Neg07.java@a1dc543483fc (annotated)

Wed, 07 Nov 2012 17:20:12 -0800

8003134: CheckResourceKeys issues
Reviewed-by: jjh, bpatel

 /*
  * @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
     }
 }