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
|
// Test case for Issue #801
// https://github.com/typetools/checker-framework/issues/801
// @skip-test
// TODO: Enable postcondition override checks for method references
import org.checkerframework.checker.nullness.qual.*;
interface AssertFunc {
@EnsuresNonNullIf(result = true, expression = "#1")
boolean testParam(final @Nullable Object param);
}
interface AssertFunc2 {
@EnsuresNonNullIf(result = true, expression = "#1")
boolean testParam(final @Nullable Object param);
}
class AssertionTest {
@EnsuresNonNullIf(result = true, expression = "#1")
static boolean override(final @Nullable Object param) {
return param != null;
}
static boolean overrideAssertFunc2(final @Nullable Object param) {
return param != null;
}
void context() {
AssertFunc f = AssertionTest::override;
// :: error: (methodref.receiver.postcondition)
AssertFunc2 f2 = AssertionTest::overrideAssertFunc2;
}
}
|
