checker/tests/index/MinMax.java

import org.checkerframework.checker.index.qual.GTENegativeOne;
import org.checkerframework.checker.index.qual.Positive;

public class MinMax {
  // They call me a power gamer. I stole the test cases from issue 26.
  void mathmax() {
    @Positive int i = Math.max(-15, 2);
  }

  void mathmin() {
    @GTENegativeOne int i = Math.min(-1, 2);
  }
}