import org.checkerframework.checker.index.qual.*;
public class SameLenFormalParameter2 {
void lib(Object @SameLen({"#1", "#2"}) [] valsArg, int @SameLen({"#1", "#2"}) [] modsArg) {}
void client(Object[] myvals, int[] mymods) {
//:: error: (argument.type.incompatible)
lib(myvals, mymods);
}
}