framework/tests/value/MinLenConstants.java

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

public class MinLenConstants {

  void test() {
    int @MinLen(3) [] arr = {1, 2, 3};
  }
}