1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
// @skip-test until we bring list support back
import java.util.List;
import java.util.ListIterator;
import org.checkerframework.checker.index.qual.GTENegativeOne;
import org.checkerframework.checker.index.qual.NonNegative;
public class ListLowerBound {
private void m(List<Object> l) {
// :: error: (argument.type.incompatible)
l.get(-1);
// :: error: (argument.type.incompatible)
ListIterator<Object> li = l.listIterator(-1);
@NonNegative int ni = li.nextIndex();
@GTENegativeOne int pi = li.previousIndex();
}
}
|
