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 check that merged inherited descriptors preservers type-parameters
4 * @compile/fail/ref=LambdaConv25.out -XDrawDiagnostics LambdaConv25.java
5 */
6 class LambdaConv25 {
8 interface A {
9 <X> void m();
10 }
12 interface B {
13 <X> void m();
14 }
16 interface C extends A, B { }
18 void test() {
19 C c = ()->{}; //should fail
20 }
21 }