checker/tests/index/NegativeIndex.java

// Test case for kelloggm#216
// https://github.com/kelloggm/checker-framework/issues/216

import org.checkerframework.common.value.qual.*;

public class NegativeIndex {
  @SuppressWarnings("lowerbound")
  void m(int[] a) {
    int x = a[-100];
  }
}