From ef41ff16a93999246f54394f0095b4544891b7db Mon Sep 17 00:00:00 2001
From: Ivan Levkivskyi <levkivskyi@gmail.com>
Date: Tue, 17 Feb 2026 23:27:10 +0000
Subject: [PATCH] Couple tuple-related fixes

---
 mypy/nativeparse.py | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/mypy/nativeparse.py b/mypy/nativeparse.py
index 598614abc491..680e7160b865 100644
--- a/mypy/nativeparse.py
+++ b/mypy/nativeparse.py
@@ -143,6 +143,7 @@
     EllipsisType,
     Instance,
     RawExpressionType,
+    TupleType,
     Type,
     TypeList,
     TypeOfAny,
@@ -904,6 +905,7 @@ def read_type(state: State, data: ReadBuffer) -> Type:
         expect_tag(data, LIST_GEN)
         n = read_int_bare(data)
         args = tuple(read_type(state, data) for i in range(n))
+        empty_tuple_index = read_bool(data)
         # Read optional original_str_expr
         t = read_tag(data)
         if t == LITERAL_NONE:
@@ -923,6 +925,7 @@ def read_type(state: State, data: ReadBuffer) -> Type:
         unbound = UnboundType(
             name,
             args,
+            empty_tuple_index=empty_tuple_index,
             original_str_expr=original_str_expr,
             original_str_fallback=original_str_fallback,
         )
@@ -967,6 +970,16 @@ def read_type(state: State, data: ReadBuffer) -> Type:
         read_loc(data, type_list)
         expect_end_tag(data)
         return type_list
+    elif tag == types.TUPLE_TYPE:
+        # Read items list
+        expect_tag(data, LIST_GEN)
+        n = read_int_bare(data)
+        items = [read_type(state, data) for i in range(n)]
+        implicit = read_bool(data)
+        tuple_type = TupleType(items, _dummy_fallback, implicit=implicit)
+        read_loc(data, tuple_type)
+        expect_end_tag(data)
+        return tuple_type
     elif tag == types.ELLIPSIS_TYPE:
         # EllipsisType has no attributes
         ellipsis_type = EllipsisType()