checker/tests/index/NotEnoughOffsets.java

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

public class NotEnoughOffsets {

  int[] a;
  int[] b;
  int c, d;

  void badParam(
      // :: error: (different.length.sequences.offsets)
      @LTLengthOf(
              value = {"a", "b"},
              offset = {"c"})
          int x) {}

  void badParam2(
      // :: error: (different.length.sequences.offsets)
      @LTLengthOf(
              value = {"a"},
              offset = {"c", "d"})
          int x) {}
}