test/tools/javac/defaultMethods/Neg05.java

Tue, 06 Nov 2012 14:45:27 +0000

author
mcimadamore
date
Tue, 06 Nov 2012 14:45:27 +0000
changeset 1396
9b85813d2262
parent 1393
d7d932236fee
child 1415
01c9d4161882
permissions
-rw-r--r--

8002286: Regression: Fix for 8000931 causes a JCK test failure
Summary: Wrong type used as 'site' in Resolve.resolveMethod
Reviewed-by: jjg

     1 /*
     2  * @test /nodynamiccopyright/
     3  * @summary check that abstract methods are compatible with inherited defaults
     4  * @compile/fail/ref=Neg05.out -XDallowDefaultMethods -XDrawDiagnostics Neg05.java
     5  */
     7 class Neg05 {
     8     interface IA1 { default Number m() { return Neg05.m1(this); } }
     9     interface IA2 extends IA1 { default Integer m() { return Neg05.m2(this); } }
    10     interface IA3 extends IA2 { Number m(); } //error
    12     static class C implements IA3{}
    14     static int m1(IA1 a) { return 0; }
    15     static int m2(IA2 b) { return 0; }
    16 }

mercurial