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
|
import org.checkerframework.checker.nullness.qual.NonNull;
import org.checkerframework.checker.nullness.qual.Nullable;
import org.checkerframework.framework.qual.DefaultQualifier;
/** Exception parameters are non-null, even if the default is nullable. */
@DefaultQualifier(org.checkerframework.checker.nullness.qual.Nullable.class)
class ExceptionParam {
void exc1() {
try {
} catch (AssertionError e) {
@NonNull Object o = e;
}
}
void exc2() {
try {
} catch (@NonNull AssertionError e) {
@NonNull Object o = e;
}
}
void exc3() {
try {
// :: error: (type.invalid.annotations.on.use)
} catch (@Nullable AssertionError e) {
@NonNull Object o = e;
}
}
}
|
