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
|
// Test case for Issue 282
// https://github.com/typetools/checker-framework/issues/282
import java.util.Collection;
import java.util.Comparator;
import java.util.Set;
import org.checkerframework.checker.nullness.qual.*;
@SuppressWarnings("nullness")
abstract class ImmutableSortedSet<E extends @NonNull Object> implements Set<E> {
static <E> ImmutableSortedSet<E> copyOf(
Comparator<? super E> comparator, Collection<? extends E> elements) {
return null;
}
}
@SuppressWarnings("nullness")
abstract class Ordering<T> implements Comparator<T> {
static Ordering<Object> usingToString() {
return null;
}
}
abstract class Example {
private static <@NonNull T extends @NonNull Object> ImmutableSortedSet<T> setSortedByToString(
Collection<T> set) {
return ImmutableSortedSet.copyOf(Ordering.usingToString(), set);
}
}
|
