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
|
import testchecker.quals.*;
class Generics {
class Generics1<T extends @H1Top @H2Top Object> {
T m(@H1S2 @H2S2 T p) {
T l = p;
// :: error: (return.type.incompatible)
return l;
}
void unsound(Generics1<@H1S1 @H2S1 Object> p, @H1S2 @H2S2 Object p2) {
@H1S1 @H2S1 Object o = p.m(p2);
}
}
class Generics2<T extends @H1Top Object> {
T m(@H1S2 T p) {
T l = p;
// :: error: (return.type.incompatible)
return l;
}
void unsound(Generics2<@H1S1 Object> p, @H1S2 Object p2) {
@H1S1 Object o = p.m(p2);
}
}
class Generics3<T extends @H1S1 Object> {
// See comments in BaseTypeVisitor about type variable checks.
// The currently desired behavior is that the annotation on the
// type variable overrides the bound.
// TODO?:: error: (type.invalid)
void m(@H1S2 T p) {}
}
}
|
