checker/tests/index/Index118.java

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

public class Index118 {

  public static void foo(String @ArrayLen(4) [] args) {
    for (int i = 1; i <= 3; i++) {
      @IntRange(from = 1, to = 3) int x = i;
      System.out.println(args[i]);
    }
  }

  public static void bar(@NonNegative int i, String @ArrayLen(4) [] args) {
    if (i <= 3) {
      System.out.println(args[i]);
    }
  }
}