checker/tests/index/SameLenNewArrayWithSameLength.java

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

public class SameLenNewArrayWithSameLength {
  public void m1(int[] a) {
    int @SameLen("a") [] b = new int[a.length];
  }

  public void m2(int[] a, int @SameLen("#1") [] b) {
    int @SameLen({"a", "b"}) [] c = new int[b.length];
  }
}