apply make_simplified_union in messages.py instead of errors.py

Author: tyralla

mypy/errors.py

@@ -271,14 +271,14 @@ def yield_uselessness_error_infos(self) -> Iterator[tuple[str, Context, ErrorCod
             context.end_column = error_info[5]
             yield error_info[1], context, error_info[0]
 
-    def yield_revealed_type_infos(self) -> Iterator[tuple[Type, Context]]:
+    def yield_revealed_type_infos(self) -> Iterator[tuple[list[Type], Context]]:
         """Yield all types revealed in at least one iteration step."""
 
         for note_info, types in self.revealed_types.items():
             context = Context(line=note_info[0], column=note_info[1])
             context.end_line = note_info[2]
             context.end_column = note_info[3]
-            yield make_simplified_union(types), context
+            yield types, context
 
 
 class IterationErrorWatcher(ErrorWatcher):

mypy/messages.py

@@ -2510,8 +2510,8 @@ def match_statement_inexhaustive_match(self, typ: Type, context: Context) -> Non
     def iteration_dependent_errors(self, iter_errors: IterationDependentErrors) -> None:
         for error_info in iter_errors.yield_uselessness_error_infos():
             self.fail(*error_info[:2], code=error_info[2])
-        for note_info, context in iter_errors.yield_revealed_type_infos():
-            self.reveal_type(note_info, context)
+        for types, context in iter_errors.yield_revealed_type_infos():
+            self.reveal_type(mypy.typeops.make_simplified_union(types), context)
 
 
 def quote_type_string(type_string: str) -> str: