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]); | |
} | |
} |