checker/jtreg/stubs/issue1542/UsesIntRange.java

package issue1542;

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

public class UsesIntRange {
  void do_things() {
    @IntRange(from = 3, to = 20000) int x = NeedsIntRange.range(true);
    @IntRange(from = 3L, to = 20000) int y = NeedsIntRange.range(true);
  }
}