1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
// Test case that was submitted in Issue 404, but was combined with Issue 979
// https://github.com/typetools/checker-framework/issues/979
// @skip-test until the bug is fixed
import java.util.Collection;
import java.util.Set;
import java.util.stream.Collectors;
// TODO: inference problem with dependencies between multiple methods.
// Eventually, the test should work when executed on >= Java 8.
// @skip-test
public final class Issue404 {
public Set<String> uniqueTrimmed(final Collection<String> strings) {
return strings.stream().map(String::trim).collect(Collectors.toSet());
}
}
|
