import org.checkerframework.checker.nullness.qual.*;
class CollectionsAnnotationsMin {
static class Collection1<E extends @Nullable Object> {
public void add(E elt) {
//:: error: (dereference.of.nullable)
elt.hashCode();
}
}
static class PriorityQueue1<E extends @NonNull Object> extends Collection1<E> {
public void add(E elt) {
// dereference allowed here
elt.hashCode();
}
}
// This is allowed, as "null" cannot be added to f1
static Collection1<? extends @Nullable Object> f1 = new PriorityQueue1<@NonNull Object>();
//:: error: (assignment.type.incompatible)
static Collection1<@Nullable Object> f2 = new PriorityQueue1<@NonNull Object>();
static void addNull1(Collection1<@Nullable Object> l) {
l.add(null);
}
// The upper bound on E is implicitly from Collection1
static <E extends @Nullable Object> void addNull2(Collection1<E> l) {
//:: error: (argument.type.incompatible)
l.add(null);
}
// The upper bound on E is implicitly from Collection1
static <E extends @Nullable Object> E addNull2b(Collection1<E> l, E p) {
//:: error: (argument.type.incompatible)
l.add(null);
return p;
}
static <@Nullable E extends @Nullable Object> void addNull3(Collection1<E> l) {
l.add(null);
}
static void bad() {
//:: error: (argument.type.incompatible)
addNull1(new PriorityQueue1<@NonNull Object>());
addNull2(new PriorityQueue1<@NonNull Object>());
addNull2b(new PriorityQueue1<@NonNull Object>(), new Object());
//:: error: (type.argument.type.incompatible)
addNull3(new PriorityQueue1<@NonNull Object>());
//:: error: (argument.type.incompatible)
f1.add(null);
}
}