reword more

python · JelleZijlstra · May 29, 2025 · May 24, 2025 · May 25, 2025 · May 25, 2025
commit 39dd3c5e3a033a98d98324872c3a1a0c84e951a1
diff --git a/docs/spec/literal.rst b/docs/spec/literal.rst
@@ -98,18 +98,23 @@ expressions, and nothing else.
 Legal parameters for ``Literal`` at type check time
 """""""""""""""""""""""""""""""""""""""""""""""""""

-``Literal`` may be parameterized with literal ints, strings, `bytes` objects,
-bools, Enum values and ``None``. So for example, all of
+``Literal`` may be parameterized with literal ``int``, ``str``, ``bytes``,
+and ``bool`` objects, instances of ``enum.Enum`` subclasses, and ``None``. So for example, all of
 the following would be legal::

   Literal[26]
-   Literal[0x1A]  # Exactly equivalent to Literal[26]
+   Literal[0x1A]  # Equivalent to Literal[26]
   Literal[-4]
   Literal["hello world"]
-   Literal[u"hello world"]  # Exactly equivalent to Literal["hello world"]
+   Literal[u"hello world"]  # Equivalent to Literal["hello world"]
   Literal[b"hello world"]
   Literal[True]
-   Literal[Color.RED]  # Assuming Color is some enum
+
+   class Color(enum.Enum):
+       RED = 1
+       GREEN = 2
+
+   Literal[Color.RED]
   Literal[None]

 **Note:** Since the type ``None`` is inhabited by just a single