1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
/*
* @test /nodynamiccopyright/
* @bug 8003280
* @summary Add lambda tests
* complex case of cyclic type inference (lambda returned where inference var expected)
* @compile/fail/ref=TargetType27.out -XDrawDiagnostics TargetType27.java
* @compile/fail/ref=TargetType27.out -XDrawDiagnostics TargetType27.java
*/
class TargetType27 {
interface F<X, Y> {
Y f(X a);
}
<A, R> F<A, R> m(F<A, R> f) { return null; }
void test() {
m((String s1) -> (String s2) -> Integer.valueOf(1));
}
}
|
