1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
|
import testlib.util.*;
public class StringPatternsUsage {
void requiresA(@PatternA String arg) {}
void requiresB(@PatternB String arg) {}
void requiresC(@PatternC String arg) {}
void requiresAB(@PatternAB String arg) {}
void requiresBC(@PatternBC String arg) {}
void requiresAC(@PatternAC String arg) {}
void requiresAny(String arg) {}
void m() {
String a = "A";
String b = "B";
String c = "C";
String d = "D";
String e = "";
requiresA(a);
// :: error: (argument.type.incompatible)
requiresB(a);
// :: error: (argument.type.incompatible)
requiresC(a);
requiresAB(a);
// :: error: (argument.type.incompatible)
requiresBC(a);
requiresAC(a);
requiresAny(a);
// :: error: (argument.type.incompatible)
requiresA(b);
requiresB(b);
// :: error: (argument.type.incompatible)
requiresC(b);
requiresAB(b);
requiresBC(b);
// :: error: (argument.type.incompatible)
requiresAC(b);
requiresAny(b);
// :: error: (argument.type.incompatible)
requiresA(c);
// :: error: (argument.type.incompatible)
requiresB(c);
requiresC(c);
// :: error: (argument.type.incompatible)
requiresAB(c);
requiresBC(c);
requiresAC(c);
requiresAny(c);
// :: error: (argument.type.incompatible)
requiresA(d);
// :: error: (argument.type.incompatible)
requiresB(d);
// :: error: (argument.type.incompatible)
requiresC(d);
// :: error: (argument.type.incompatible)
requiresAB(d);
// :: error: (argument.type.incompatible)
requiresBC(d);
// :: error: (argument.type.incompatible)
requiresAC(d);
requiresAny(d);
// :: error: (argument.type.incompatible)
requiresA(e);
// :: error: (argument.type.incompatible)
requiresB(e);
// :: error: (argument.type.incompatible)
requiresC(e);
// :: error: (argument.type.incompatible)
requiresAB(e);
// :: error: (argument.type.incompatible)
requiresBC(e);
// :: error: (argument.type.incompatible)
requiresAC(e);
requiresAny(e);
}
}
|
