1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
import java.util.Collections;
import java.util.List;
import java.util.Objects;
import java.util.stream.Collectors;
import org.checkerframework.checker.nullness.qual.Nullable;
class Issue1630 {
static @Nullable String toString(Object o) {
return null;
}
@SuppressWarnings("nullness") // Issue 979
public static List<String> f(List<Integer> xs) {
return xs != null
? xs.stream()
.map(Issue1630::toString)
.filter(Objects::nonNull)
.collect(Collectors.toList())
: Collections.emptyList();
}
}
|
