checker/tests/index/PlumeFail.java

// 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;
  }
}