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 * @bug 8005244
4 * @summary Implement overload resolution as per latest spec EDR
5 * uncatched sam conversion failure exception lead to javac crash
6 * @compile/fail/ref=TargetType52.out -XDrawDiagnostics TargetType52.java
7 */
8 class TargetType52 {
10 interface FI<T extends CharSequence, V extends java.util.AbstractList<T>> {
11 T m(V p);
12 }
14 void m(FI<? extends CharSequence, ? extends java.util.ArrayList<? extends CharSequence>> fip) { }
16 void test() {
17 m(p -> p.get(0));
18 }
19 }