Revert to previous version, only remove TODO

Author: sterliakov

mypy/checker.py

@@ -8484,6 +8484,10 @@ def visit_type_var(self, t: TypeVarType) -> bool:
         # multi-step type inference.
         return t.id.is_meta_var()
 
+    def visit_tuple_type(self, t: TupleType, /) -> bool:
+        # Exclude fallback to avoid bogus "need type annotation" errors
+        return self.query_types(t.items)
+
 
 class SetNothingToAny(TypeTranslator):
     """Replace all ambiguous Uninhabited types with Any (to avoid spurious extra errors)."""

mypy/types.py

@@ -2415,14 +2415,6 @@ def __init__(
         implicit: bool = False,
     ) -> None:
         super().__init__(line, column)
-        if fallback.type and fallback.type.fullname == "builtins.tuple":
-            # We actively ignore type argument for plain tuple fallback, to avoid spurious errors,
-            # partial_fallback should never be used directly anyway, only via typeops.tuple_fallback().
-            assert len(fallback.args) == 1
-            if not isinstance(fallback.args[0], ProperType) or not isinstance(
-                fallback.args[0], AnyType
-            ):
-                fallback = fallback.copy_modified(args=[AnyType(TypeOfAny.special_form)])
         self.partial_fallback = fallback
         self.items = items
         self.implicit = implicit