test/tools/javac/defaultMethods/Neg04.java

Mon, 02 Sep 2013 22:38:36 +0100

author
vromero
date
Mon, 02 Sep 2013 22:38:36 +0100
changeset 2000
4a6acc42c3a1
parent 1415
01c9d4161882
child 2020
bb7271e64ef6
permissions
-rw-r--r--

8016177: structural most specific and stuckness
Reviewed-by: jjg, vromero
Contributed-by: maurizio.cimadamore@oracle.com

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

mercurial