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
32
33
34
35
36
37
38
39
|
// Test case for Issue 1983:
// https://github.com/typetools/checker-framework/issues/1983
import java.util.List;
import java.util.function.Function;
import org.checkerframework.checker.nullness.qual.Nullable;
@SuppressWarnings("initialization.fields.uninitialized")
class Issue1983 {
Converter<String> converter;
void test(List<Object[]> params) {
func1(transform(params, p -> of(converter.as((String) p[0]))));
}
static class Converter<T> {
@SuppressWarnings("nullness")
public Converter<T> as(@Nullable T value) {
return null;
}
}
@SuppressWarnings("nullness")
static <T> List<T> of(T t) {
return null;
}
@SuppressWarnings("nullness")
<V> V func1(List<List<Converter<?>>> bulkParameterValues) {
return null;
}
@SuppressWarnings("nullness")
static <F, T> List<T> transform(List<F> fromList, Function<? super F, ? extends T> function) {
return null;
}
}
|
