Mercurial > jdk8-mips64-public > langtools / file revision
test/tools/javac/lambda/TargetType27.java@5ddecb91d843
test/tools/javac/lambda/TargetType27.java
Tue, 12 Mar 2013 16:02:43 +0000
- author
- mcimadamore
- date
- Tue, 12 Mar 2013 16:02:43 +0000
- changeset 1628
- 5ddecb91d843
- parent 0
- 959103a6100f
- 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
1 /*
2 * @test /nodynamiccopyright/
3 * @bug 8003280
4 * @summary Add lambda tests
5 * complex case of cyclic type inference (lambda returned where inference var expected)
6 * @compile/fail/ref=TargetType27.out -XDrawDiagnostics TargetType27.java
7 * @compile/fail/ref=TargetType27.out -XDrawDiagnostics -XDcomplexinference TargetType27.java
8 */
10 class TargetType27 {
11 interface F<X, Y> {
12 Y f(X a);
13 }
15 <A, R> F<A, R> m(F<A, R> f) { return null; }
17 void test() {
18 m((String s1) -> (String s2) -> new Integer(1));
19 }
20 }
