1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
/*
* @test /nodynamiccopyright/
* @bug 8003280
* @summary Add lambda tests
* speculative cache contents are overwritten by deferred type-checking of nested stuck expressions
* @compile/fail/ref=MostSpecific07.out -XDrawDiagnostics MostSpecific07.java
*/
import java.util.*;
class MostSpecific07 {
interface Predicate<X, Y> {
Y accept(X x);
}
interface VoidMapper {
void accept();
}
interface ExtPredicate<X, Y> extends Predicate<X, Y> { }
void test(boolean cond, ArrayList<String> als, VoidMapper vm) {
m(u -> ()->{}, als, als, vm);
m((u -> ()->{}), als, als, vm);
m(cond ? u -> ()->{} : u -> ()->{}, als, als, vm);
}
<U, V> U m(Predicate<U, V> p, List<U> lu, ArrayList<U> au, V v) { return null; }
<U, V> U m(ExtPredicate<U, V> ep, ArrayList<U> au, List<U> lu, V v) { return null; }
}
|
