// Test case affected by eisop Issue 22: | |
// https://github.com/eisop/checker-framework/issues/22 | |
import java.util.Arrays; | |
import org.checkerframework.common.value.qual.MinLen; | |
public class PlumeFail { | |
void method() { | |
// Workaround by casting. | |
@SuppressWarnings({"index", "value"}) | |
String @MinLen(1) [] args = (String @MinLen(1) []) getArray(); | |
String[] argArray = Arrays.copyOfRange(args, 1, args.length); | |
} | |
String[] getArray() { | |
return null; | |
} | |
} |