comments

Author: msridhar

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

@@ -1635,6 +1635,9 @@ private Type.MethodType restoreMissingNullabilityFromSingleTopLevelTypeVarArgume
       return methodTypeAtCallSite;
     }
 
+    // use this map to store repaired substitutions for method type variables, to ensure we use the
+    // same repaired
+    // substitution for all occurrences of the same method type variable
     Map<Symbol.TypeVariableSymbol, Type> repairedTopLevelSubstitutions = new HashMap<>();
     ListBuffer<Type> updatedArgTypes = new ListBuffer<>();
     boolean changed = false;
@@ -1659,7 +1662,7 @@ private Type.MethodType restoreMissingNullabilityFromSingleTopLevelTypeVarArgume
             changed = true;
             updatedType = repairedSubstitution;
           }
-        } else {
+        } else { // need to compute the substitution
           Type actualArgType = getTreeType(callArgs.get(i), state);
           if (actualArgType != null
               && !actualArgType.isRaw()