1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
// This class should not issues any errors from the value checker.
// The index checker should issue the errors instead.
// There is a copy of this test at checker/tests/value-index-interaction/MethodOverrides.java,
// which does not include expected failures.
import org.checkerframework.checker.index.qual.GTENegativeOne;
public class MethodOverrides {
@GTENegativeOne int read() {
return -1;
}
}
class MethodOverrides2 extends MethodOverrides {
// :: error: (override.return.invalid)
int read() {
return -1;
}
}
|
