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
|
import java.util.Map;
import testlib.util.*;
// Test case for Issue 134:
// https://github.com/typetools/checker-framework/issues/134
// Handling of generics from different enclosing classes.
class GenericTest4 {
public interface Foo {}
class Outer<O> {
O getOuter() {
return null;
}
class Inner<I> {
O getInner() {
return null;
}
I setter1(O p) {
return null;
}
O setter2(I p) {
return null;
}
Map<O, I> wow(Map<O, I> p) {
return null;
}
}
}
class OuterImpl extends Outer<Foo> {
void test() {
Foo foo = getOuter();
}
class InnerImpl extends Inner<@Odd String> {
void test() {
Foo foo = getInner();
String s = setter1(foo);
foo = setter2(s);
}
void testWow(Map<Foo, @Odd String> p) {
p = wow(p);
}
void testWow2(Map<Foo, String> p) {
// :: error: (assignment.type.incompatible) :: error: (argument.type.incompatible)
p = wow(p);
}
}
}
// Add uses from outside of both classes.
}
|
