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