| // 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; |
| } |
| } |
| |
| public 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; |
| |
| public class Issue312 { |
| void test() { |
| List<String> list = Lists.newArrayList(); |
| Ordering.natural().reverse().sortedCopy(list); |
| } |
| } |
| |
| */ |