Tue, 12 Mar 2013 16:02:43 +0000
8009545: Graph inference: dependencies between inference variables should be set during incorporation
Summary: Move all transitivity checks into the incorporation round
Reviewed-by: jjg
1 /*
2 * @test /nodynamiccopyright/
3 * @summary flow analysis is not run on inlined default bodies
4 * @compile/fail/ref=Neg06.out -XDrawDiagnostics Neg06.java
5 */
7 class Neg06 {
9 interface A {
10 default String m() { C.m(); }
11 }
13 static class C {
14 static String m() { return ""; }
15 }
16 }