checker/tests/index/EqualToIndex.java

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

public class EqualToIndex {
  static int[] a = {0};

  public static void equalToUpper(@LTLengthOf("a") int m, @LTEqLengthOf("a") int r) {
    if (r == m) {
      @LTLengthOf("a") int j = r;
    }
  }
}