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
|
// Test case for issue #234.
import java.util.Iterator;
import java.util.List;
import org.checkerframework.checker.nullness.qual.*;
public class Wildcards {
public static void client1(List<String> strings) {
join1(strings.iterator());
join2(strings.iterator());
join3(strings.iterator());
join4(strings.iterator());
}
public static void client2(Iterator<String> itor) {
join1(itor);
join2(itor);
join3(itor);
join4(itor);
}
public static void client3(Iterator<String> itor) {
Iterator<?> parts1 = itor;
Iterator<? extends Object> parts2 = itor;
Iterator<? extends @Nullable Object> parts3 = itor;
Iterator<? extends @NonNull Object> parts4 = itor;
}
static void join1(Iterator<?> parts) {}
static void join2(Iterator<? extends Object> parts) {}
static void join3(Iterator<? extends @Nullable Object> parts) {}
static void join4(Iterator<? extends @NonNull Object> parts) {}
}
|
