1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
import org.checkerframework.checker.signature.qual.*;
// Not on classpath when running the Checker Framework tests.
// import org.apache.bcel.generic.ClassGen;
public class RefinedReturnTest {
public class Super {
public @FullyQualifiedName String aString() {
return "java.lang.Integer[][]";
}
}
public class Sub extends Super {
@Override
public @IdentifierOrArray String aString() {
return "Integer[]";
}
}
void m() {
@IdentifierOrArray String s = new Sub().aString();
}
}
|
