MinLenVarargs.java

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