Do not cache if errors are encountered in arguments themselves

python · sterliakov · Jul 8, 2025 · Jul 8, 2025 · Jul 8, 2025 · Jul 9, 2025
commit 72fdf5d29c98fc5177131996ea57c09443f57818
diff --git a/mypy/checkexpr.py b/mypy/checkexpr.py
@@ -1968,13 +1968,18 @@ def infer_arg_types_in_empty_context(
             return self._args_cache[key]
         res: list[Type] = []
 
-        for arg in args:
-            arg_type = self.accept(arg)
-            if has_erased_component(arg_type):
-                res.append(NoneType())
-            else:
-                res.append(arg_type)
-        if can_cache:
+        with self.msg.filter_errors(filter_errors=True, save_filtered_errors=True) as w:
+            for arg in args:
+                arg_type = self.accept(arg)
+                if has_erased_component(arg_type):
+                    res.append(NoneType())
+                else:
+                    res.append(arg_type)
+
+        if w.has_new_errors():
+            self.msg.add_errors(w.filtered_errors())
+        elif can_cache:
+            # Do not cache if new diagnostics were emitted: they may impact parent overload
             self._args_cache[key] = res
         return res