checker/tests/index/ToArrayIndex.java

import java.util.ArrayList;
import org.checkerframework.common.value.qual.MinLen;

// @skip-test until we bring list support back

public class ToArrayIndex {

  public String @MinLen(1) [] m(@MinLen(1) ArrayList<String> compiler) {
    return compiler.toArray(new String[0]);
  }
}