JSpecify: initial checks for generic type compatibility at assignments

nullaway/src/main/java/com/uber/nullaway/GenericsChecks.java

@@ -208,7 +208,7 @@ private void compareNullabilityAnnotations(
     // NullAway
     if (lhsTypeArguments.size() != rhsTypeArguments.size()) {
       throw new RuntimeException(
-          "number of types arguments in " + rhsType + " does not match " + lhsType);
+          "Number of types arguments in " + rhsType + " does not match " + lhsType);
     }
     for (int i = 0; i < lhsTypeArguments.size(); i++) {
       Type lhsTypeArgument = lhsTypeArguments.get(i);
@@ -244,7 +244,7 @@ private void compareNullabilityAnnotations(
   }
 
   /**
-   * For the Parameterized typed trees ASTHelpers.getType(tree) does not return a Type with
+   * For the Parameterized typed trees, ASTHelpers.getType(tree) does not return a Type with
    * preserved annotations. This method takes a Parameterized typed tree as an input and returns the
    * Type of the tree with the annotations.
    *

nullaway/src/test/java/com/uber/nullaway/NullAwayJSpecifyGenericsTests.java

@@ -426,7 +426,7 @@ public void testForMethodReferenceInAnAssignment() {
             "    return o.toString();",
             "  }",
             "  static void testPositive() {",
-            "    // we should report an error here, since Test::foo cannot take",
+            "    // TODO: we should report an error here, since Test::foo cannot take",
             "    // a @Nullable parameter.  we don't catch this yet",
             "    A<@Nullable Object> p = Test::foo;",
             "  }",