test/tools/javac/lambda/TargetType06.java

Tue, 12 Mar 2013 16:02:43 +0000

author
mcimadamore
date
Tue, 12 Mar 2013 16:02:43 +0000
changeset 1628
5ddecb91d843
parent 1510
7873d37f5b37
child 2525
2eb010b6cb22
permissions
-rw-r--r--

8009545: Graph inference: dependencies between inference variables should be set during incorporation
Summary: Move all transitivity checks into the incorporation round
Reviewed-by: jjg

mcimadamore@1415 1 /*
mcimadamore@1415 2 * @test /nodynamiccopyright/
mcimadamore@1415 3 * @bug 8003280
mcimadamore@1415 4 * @summary Add lambda tests
mcimadamore@1415 5 * check complex case of target typing
mcimadamore@1415 6 * @author Maurizio Cimadamore
mcimadamore@1510 7 * @compile TargetType06.java
mcimadamore@1415 8 */
mcimadamore@1415 9
mcimadamore@1415 10 import java.util.List;
mcimadamore@1415 11
mcimadamore@1415 12 class TargetType06 {
mcimadamore@1415 13
mcimadamore@1415 14 class Foo {
mcimadamore@1415 15 Foo getFoo() { return null; }
mcimadamore@1415 16 }
mcimadamore@1415 17
mcimadamore@1415 18 interface Function<A,R> {
mcimadamore@1415 19 R invoke(A a);
mcimadamore@1415 20 }
mcimadamore@1415 21
mcimadamore@1415 22 static <B> List<B> map(Function<B, B> function) { return null; }
mcimadamore@1415 23
mcimadamore@1415 24 void test() {
mcimadamore@1415 25 List<Foo> l = map(foo -> foo.getFoo());
mcimadamore@1415 26 }
mcimadamore@1415 27 }

mercurial