test/tools/javac/defaultMethods/Neg15.java

Fri, 22 Mar 2013 12:43:09 +0000

author
mcimadamore
date
Fri, 22 Mar 2013 12:43:09 +0000
changeset 1655
c6728c9addff
parent 1415
01c9d4161882
child 2020
bb7271e64ef6
permissions
-rw-r--r--

8010303: Graph inference: missing incorporation step causes spurious inference error
Summary: Multiple equality constraints on inference vars are not used to generate new inference constraints
Reviewed-by: jjg

mcimadamore@1393 1 /*
mcimadamore@1393 2 * @test /nodynamiccopyright/
mcimadamore@1393 3 * @summary check that level skipping in default super calls is correctly rejected
mcimadamore@1415 4 * @compile/fail/ref=Neg15.out -XDrawDiagnostics Neg15.java
mcimadamore@1393 5 */
mcimadamore@1393 6 class Neg15 {
mcimadamore@1393 7 interface I { default void m() { } }
mcimadamore@1393 8 interface J extends I { default void m() { } }
mcimadamore@1393 9 interface K extends I {}
mcimadamore@1393 10
mcimadamore@1393 11 static class C implements J, K {
mcimadamore@1393 12 void foo() { K.super.m(); }
mcimadamore@1393 13 }
mcimadamore@1393 14 }

mercurial