checker/tests/index/ListLowerBound.java

// @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();
  }
}