test/tools/javac/defaultMethods/Neg04.java

Thu, 21 Feb 2013 15:27:05 +0000

author
mcimadamore
date
Thu, 21 Feb 2013 15:27:05 +0000
changeset 1600
3fef0cae83b3
parent 1415
01c9d4161882
child 2020
bb7271e64ef6
permissions
-rw-r--r--

8008444: Inherited generic functional descriptors are merged incorrectly
Summary: Missing call to Types.createMethodWithThrownTypes
Reviewed-by: jjg

     1 /*
     2  * @test /nodynamiccopyright/
     3  * @summary check that default method must have most specific return type
     4  * @compile/fail/ref=Neg04.out -XDrawDiagnostics Neg04.java
     5  */
     7 class Neg04 {
     8     interface IA1 { Integer m(); }
     9     interface IA2 extends IA1 { default Number m() { return Neg04.m(this); } } //error
    11     abstract class C implements IA1, IA2 {}
    13     static int m(IA2 a) { return 0; }
    14 }

mercurial