// @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) | |
l.get(-1); | |
// :: error: (argument) | |
ListIterator<Object> li = l.listIterator(-1); | |
@NonNegative int ni = li.nextIndex(); | |
@GTENegativeOne int pi = li.previousIndex(); | |
} | |
} |