checker/tests/index/LiteralArray.java

// test case for issue #67:
// https://github.com/kelloggm/checker-framework/issues/67

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

public class LiteralArray {

  private static final String[] timeFormat = {
    ("#.#"), ("#.#"), ("#.#"), ("#.#"), ("#.#"),
  };

  public String format() {
    return format(1);
  }

  public String format(@IndexFor("LiteralArray.timeFormat") int digits) {
    return "";
  }
}