1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
package testchecker;
import testchecker.quals.*;
class GetClassStubTest {
// See AnnotatedTypeFactory.adaptGetClassReturnTypeToReceiver
void context() {
Integer i = 4;
Class<?> a = i.getClass();
Class<@H1Bot ? extends @H1S1 Object> succeed1 = i.getClass();
Class<@H1Bot ? extends @H1S1 Integer> succeed2 = i.getClass();
// :: error: (assignment.type.incompatible)
Class<@H1Bot ? extends @H1Bot Object> fail1 = i.getClass();
// :: error: (assignment.type.incompatible)
Class<@H1Bot ?> fail2 = i.getClass();
}
}
|
