From 1fa32ccee5aa2d34e5b2571cdbaf42b1525e940a Mon Sep 17 00:00:00 2001
From: dnwpark <dnwpark@protonmail.com>
Date: Fri, 13 Feb 2026 11:35:05 -0800
Subject: [PATCH] Add grammar for unpacking tuple types.

---
 pep.rst | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/pep.rst b/pep.rst
index bc818c5..b1e5292 100644
--- a/pep.rst
+++ b/pep.rst
@@ -510,7 +510,8 @@ imported qualified or with some other name)
 
    <variadic-type-arg> =
          <type> ,
-       | * [ <type-for-iter> ] ,
+       | * [ <type-for> ] ,
+       | * <tuple-type>
 
 
    <type-for> = <type> <type-for-iter>+ <type-for-if>*
@@ -524,6 +525,9 @@ imported qualified or with some other name)
 (``<type-bool-for>`` is identical to ``<type-for>`` except that the
 result type is a ``<type-bool>`` instead of a ``<type>``.)
 
+(``<tuple-type>`` is any type which when evaluated resolves to a tuple
+type eg. ``tuple[int, str]``.)
+
 There are three core syntactic features introduced: type booleans,
 conditional types and unpacked comprehension types.