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 8003280
4 * @summary Add lambda tests
5 * check complex case of target typing
6 * @author Maurizio Cimadamore
7 * @compile TargetType06.java
8 */
10 import java.util.List;
12 class TargetType06 {
14 class Foo {
15 Foo getFoo() { return null; }
16 }
18 interface Function<A,R> {
19 R invoke(A a);
20 }
22 static <B> List<B> map(Function<B, B> function) { return null; }
24 void test() {
25 List<Foo> l = map(foo -> foo.getFoo());
26 }
27 }