1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
// Test case for Issue 798
// https://github.com/typetools/checker-framework/issues/798
import testchecker.quals.*;
public class Issue798 {
void test1(String format, @H1S1 Object @H1S2 ... args) {
String.format(format, args);
}
void test2(String format, @H1S1 Object @H1S1 ... args) {
// :: error: (argument.type.incompatible)
String.format(format, args);
}
void test3(String format, @H1S2 Object @H1S2 ... args) {
// :: error: (argument.type.incompatible)
String.format(format, args);
}
}
|
