import org.checkerframework.common.value.qual.*;
//@skip-test
class MinLenVarargs {
static void check(String @MinLen(3) ... var) {
System.out.println(var[0] + " " + var[1]);
}
public static void main(String[] args) {
//:: error: (argument.type.incompatible)
check(new String[] {"goodbye"});
//:: error: (argument.type.incompatible)
check("goodbye");
//:: error: (argument.type.incompatible)
check();
//:: error: (argument.type.incompatible)
check("hello", "goodbye");
}
}