checker/tests/index/LengthTransfer2.java

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

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

public class LengthTransfer2 {
  public static void main(String[] args) {
    if (args.length != 2) {
      System.err.println("Needs 2 arguments, got " + args.length);
      System.exit(1);
    }
    int limit = Integer.parseInt(args[0]);
    int period = Integer.parseInt(args[1]);
  }

  void m(String @ArrayLen(2) [] args) {
    int limit = Integer.parseInt(args[0]);
    int period = Integer.parseInt(args[1]);
  }
}