1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
|
import org.checkerframework.checker.initialization.qual.UnknownInitialization;
import org.checkerframework.checker.nullness.qual.NonNull;
public class Suppression {
@NonNull Suppression t;
@SuppressWarnings("initialization.fields.uninitialized")
public Suppression(Suppression arg) {}
@SuppressWarnings({"fbc", "nullness"})
void foo(@UnknownInitialization Suppression arg) {
t = arg; // "fbc" error
t = null; // "nullness" error
}
void test() {
@SuppressWarnings("nullness:assignment.type.incompatible")
@NonNull String s = null;
}
}
|