Fri, 22 Mar 2013 12:43:09 +0000
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
1 /*
2 * @test /nodynamiccopyright/
3 * @summary negative test for ambiguous defaults
4 * @compile/fail/ref=Neg01.out -XDrawDiagnostics Neg01.java
5 */
7 class Neg01 {
8 interface IA { default int m() { return Neg01.m1(this); } }
9 interface IB { default int m() { return Neg01.m2(this); } }
11 static class A implements IA {}
12 static class B implements IB {}
14 static class AB implements IA, IB {}
16 static int m1(IA a) { return 0; }
17 static int m2(IB b) { return 0; }
18 }