python
diff --git a/‎mypy/checker.py
Copy file name to clipboardExpand all lines: mypy/checker.py
+5Lines changed: 5 additions & 0 deletions b/‎mypy/checker.py
Copy file name to clipboardExpand all lines: mypy/checker.py
+5Lines changed: 5 additions & 0 deletions
diff --git a/‎mypy/type_visitor.py
Copy file name to clipboardExpand all lines: mypy/type_visitor.py
+2-2Lines changed: 2 additions & 2 deletions b/‎mypy/type_visitor.py
Copy file name to clipboardExpand all lines: mypy/type_visitor.py
+2-2Lines changed: 2 additions & 2 deletions
diff --git a/‎test-data/unit/check-incremental.test
Copy file name to clipboardExpand all lines: test-data/unit/check-incremental.test
+19Lines changed: 19 additions & 0 deletions b/‎test-data/unit/check-incremental.test
Copy file name to clipboardExpand all lines: test-data/unit/check-incremental.test
+19Lines changed: 19 additions & 0 deletions
diff --git a/‎test-data/unit/check-inference.test
Copy file name to clipboardExpand all lines: test-data/unit/check-inference.test
+8Lines changed: 8 additions & 0 deletions b/‎test-data/unit/check-inference.test
Copy file name to clipboardExpand all lines: test-data/unit/check-inference.test
+8Lines changed: 8 additions & 0 deletions
@@ -8347,6 +8347,11 @@ 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
+        # TODO: Maybe erase plain tuples used as fallback in TupleType constructor?
+        return self.query_types(t.items)
+
 
 class SetNothingToAny(TypeTranslator):
     """Replace all ambiguous Uninhabited types with Any (to avoid spurious extra errors)."""
 
@@ -410,7 +410,7 @@ def visit_callable_type(self, t: CallableType, /) -> T:
         return self.query_types(t.arg_types + [t.ret_type])
 
     def visit_tuple_type(self, t: TupleType, /) -> T:
-        return self.query_types(t.items)
+        return self.query_types([t.partial_fallback] + t.items)
 
     def visit_typeddict_type(self, t: TypedDictType, /) -> T:
         return self.query_types(t.items.values())
@@ -550,7 +550,7 @@ def visit_callable_type(self, t: CallableType, /) -> bool:
             return args and ret
 
     def visit_tuple_type(self, t: TupleType, /) -> bool:
-        return self.query_types(t.items)
+        return self.query_types([t.partial_fallback] + t.items)
 
     def visit_typeddict_type(self, t: TypedDictType, /) -> bool:
         return self.query_types(list(t.items.values()))
 
@@ -6745,3 +6745,22 @@ from typing_extensions import TypeAlias
 IntOrStr: TypeAlias = int | str
 assert isinstance(1, IntOrStr)
 [builtins fixtures/type.pyi]
+
+[case testSerializeDeferredGenericNamedTuple]
+import pkg
+[file pkg/__init__.py]
+from .lib import NT
+[file pkg/lib.py]
+from typing import Generic, NamedTuple, TypeVar
+from pkg import does_not_exist  # type: ignore
+from pkg.missing import also_missing  # type: ignore
+
+T = TypeVar("T", bound=does_not_exist)
+class NT(NamedTuple, Generic[T]):
+    values: also_missing[T]
+[file pkg/__init__.py.2]
+# touch
+from .lib import NT
+[builtins fixtures/tuple.pyi]
+[out]
+[out2]
@@ -3886,3 +3886,11 @@ def a4(x: List[str], y: List[Never]) -> None:
     reveal_type(z2)  # N: Revealed type is "builtins.list[builtins.object]"
     z1[1].append("asdf")  # E: "object" has no attribute "append"
 [builtins fixtures/dict.pyi]
+
+[case testTupleJoinFallbackInference]
+foo = [
+    (1, ("a", "b")),
+    (2, []),
+]
+reveal_type(foo)  # N: Revealed type is "builtins.list[Tuple[builtins.int, typing.Sequence[builtins.str]]]"
+[builtins fixtures/tuple.pyi]