checker/tests/index/SameLenTripleThreat.java

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

public class SameLenTripleThreat {
  public void foo(String[] vars) {
    String[] qrets = new String[vars.length];
    String @SameLen("vars") [] y = qrets;
    String[] indices = new String[vars.length];
    String @SameLen("qrets") [] x = indices;
  }

  String[] indices;

  public void foo2(String... vars) {
    String[] qrets = new String[vars.length];
    indices = new String[vars.length];
    String[] indicesLocal = new String[vars.length];
    for (int i = 0; i < qrets.length; i++) {
      indices[i] = "hello";
      indicesLocal[i] = "hello";
    }
  }

  public void foo3(String... vars) {
    String[] qrets = new String[vars.length];
    String[] indicesLocal = new String[vars.length];
    indices = new String[vars.length];
    for (int i = 0; i < qrets.length; i++) {
      indices[i] = "hello";
      indicesLocal[i] = "hello";
    }
  }
}