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 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 }