1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
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");
}
}
|
