1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
import org.checkerframework.checker.regex.qual.*;
class Box<T extends @Regex(1) Object> {
@Regex(1) T t1;
T t2;
}
class TypeVarMemberSelect<V extends Box<@Regex(2) String>> {
void test(V v) {
// :: error: (assignment.type.incompatible)
@Regex(2) String local1 = v.t1;
// Previously the type of the right hand side would have been T which is wrong. This test
// was added to make sure we call viewpoint adaptation when type variables are the receiver.
@Regex(2) String local2 = v.t2;
}
}
|
