Nullness Checker: strengthen containment checks for invariant type parameters with nullness qualifiers

checker/src/main/java/org/checkerframework/checker/nullness/NullnessVisitor.java

@@ -40,6 +40,7 @@
 import javax.lang.model.element.Element;
 import javax.lang.model.element.ElementKind;
 import javax.lang.model.element.ExecutableElement;
+import javax.lang.model.type.TypeKind;
 import javax.lang.model.type.TypeMirror;
 import org.checkerframework.checker.compilermsgs.qual.CompilerMessageKey;
 import org.checkerframework.checker.formatter.qual.FormatMethod;
@@ -63,6 +64,7 @@
 import org.checkerframework.javacutil.TreeUtils;
 import org.checkerframework.javacutil.TreeUtilsAfterJava11.SwitchExpressionUtils;
 import org.checkerframework.javacutil.TypesUtils;
+import org.plumelib.util.ArraysPlume;
 
 /** The visitor for the nullness type-system. */
 public class NullnessVisitor
@@ -227,6 +229,41 @@ protected boolean commonAssignmentCheck(
       Tree valueTree,
       @CompilerMessageKey String errorKey,
       Object... extraArgs) {
+    if (varType.getKind() == TypeKind.DECLARED && valueType.getKind() == TypeKind.DECLARED) {
+      AnnotatedTypeMirror.AnnotatedDeclaredType varD =
+          (AnnotatedTypeMirror.AnnotatedDeclaredType) varType;
+      AnnotatedTypeMirror.AnnotatedDeclaredType valD =
+          (AnnotatedTypeMirror.AnnotatedDeclaredType) valueType;
+      // Only check when the underlying declared types (erased) are the same or
+      // when the value can be cast to the variable's raw type (conservative check).
+      TypeMirror varUnderlying = varD.getUnderlyingType();
+      TypeMirror valUnderlying = valD.getUnderlyingType();
+      if (types.isSameType(types.erasure(varUnderlying), types.erasure(valUnderlying))
+          || types.isSubtype(valUnderlying, varUnderlying)) {
+        List<? extends AnnotatedTypeMirror> varArgs = varD.getTypeArguments();
+        List<? extends AnnotatedTypeMirror> valArgs = valD.getTypeArguments();
+        int n = Math.min(varArgs.size(), valArgs.size());
+        for (int i = 0; i < n; i++) {
+          AnnotatedTypeMirror va = varArgs.get(i);
+          AnnotatedTypeMirror aa = valArgs.get(i);
+          // If the variable's type argument is not a wildcard (i.e., invariant position)
+          // and the value's corresponding argument may be nullable while the variable's
+          // is not, report an assignment error.
+          if (va.getKind() != TypeKind.WILDCARD
+              && !aa.hasEffectiveAnnotation(NONNULL)
+              && aa.hasEffectiveAnnotation(NULLABLE)
+              && va.hasEffectiveAnnotation(NONNULL)) {
+            String valueTypeString = valueType.toString();
+            String varTypeString = varType.toString();
+            checker.reportError(
+                valueTree,
+                errorKey,
+                ArraysPlume.concatenate(extraArgs, valueTypeString, varTypeString));
+            return false;
+          }
+        }
+      }
+    }
     if (TypesUtils.isPrimitive(varType.getUnderlyingType())
         && !TypesUtils.isPrimitive(valueType.getUnderlyingType())) {
       boolean succeed = checkForNullability(valueType, valueTree, UNBOXING_OF_NULLABLE);

checker/tests/nullness/WildcardNullableKey.java

@@ -0,0 +1,29 @@
+import java.util.HashMap;
+import java.util.Map;
+import org.checkerframework.checker.nullness.qual.Nullable;
+
+class Holder<T> {
+  T f;
+
+  Holder(T f) {
+    this.f = f;
+  }
+
+  T getF() {
+    return f;
+  }
+}
+
+public class WildcardNullableKey {
+  public static void main(String[] args) {
+    Map<@Nullable String, String> map = new HashMap<>();
+    map.put(null, "");
+
+    Holder<Map<@Nullable String, String>> x = new Holder<>(map);
+
+    // :: error: (assignment)
+    Map<String, ?> y = x.getF();
+
+    y.keySet().iterator().next().toString();
+  }
+}