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
|
// Test case for Issue 1738:
// https://github.com/typetools/checker-framework/issues/1738
import java.util.Iterator;
@SuppressWarnings("") // Only check for crashes
class Issue1738 {
static class TwoParamIterator<T, R> implements Iterator<T> {
@Override
public boolean hasNext() {
return false;
}
@Override
public T next() {
return null;
}
}
static class TwoParamCollection<T, R> implements Iterable<T> {
@Override
public TwoParamIterator<T, R> iterator() {
return new TwoParamIterator<T, R>();
}
}
static void test() {
TwoParamCollection<String, String> c = new TwoParamCollection<>();
for (String s : c) {
s.hashCode();
}
}
}
|
