checker/tests/index/SameLenWithObjects.java

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

public class SameLenWithObjects {

  class SimpleCollection {
    Object[] var_infos;
  }

  static final class Invocation1 {
    SimpleCollection sc;
    Object @SameLen({"vals1", "this.sc.var_infos"}) [] vals1;

    void format1() {
      for (int j = 0; j < vals1.length; j++) {
        System.out.println(sc.var_infos[j]);
      }
    }
  }
}