checker/tests/index/Index118NoLoop.java

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

public class Index118NoLoop {

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