checker/tests/index/MLEqualTo.java

import org.checkerframework.common.value.qual.MinLen;

public class MLEqualTo {

  public static void equalToMinLen(int @MinLen(2) [] m, int @MinLen(0) [] r) {
    if (r == m) {
      int @MinLen(2) [] j = r;
    }
  }
}