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
40
41
42
|
// Test case for Issue 312:
// https://github.com/typetools/checker-framework/issues/312
import java.util.List;
// A mock-up of the Guava API used in the test case;
// see below for the code that uses Guava.
@SuppressWarnings("nullness")
class Ordering312<T> {
public static <C extends Comparable> Ordering312<C> natural() {
return null;
}
public <S extends T> Ordering312<S> reverse() {
return null;
}
public <E extends T> List<E> sortedCopy(Iterable<E> elements) {
return null;
}
}
class Issue312 {
void test(List<String> list) {
Ordering312.natural().reverse().sortedCopy(list);
}
}
/* Original test using Guava:
import com.google.common.collect.Lists;
import com.google.common.collect.Ordering312;
import java.util.List;
class Issue312 {
void test() {
List<String> list = Lists.newArrayList();
Ordering.natural().reverse().sortedCopy(list);
}
}
*/
|
