Skip to content

Commit 3e3a30e

Browse files
Update docs/spec/concepts.rst
1 parent a317c6f commit 3e3a30e

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docs/spec/concepts.rst

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -369,7 +369,7 @@ can likewise be materialized to ``T1 | T2``. Thus, the gradual types ``S1`` and
369369
If ``B`` is a subtype of ``A``, ``B | A`` is equivalent to ``A``.
370370

371371
This rule applies only to subtypes, not assignable-to. For any type ``T``
372-
other than the top and bottom types (``object`` and ``Never``), the union ``T | Any`` is
372+
(other than the top and bottom types ``object`` and ``Never``), the union ``T | Any`` is
373373
not reducible to a simpler form. It represents an unknown static type with
374374
lower bound ``T``. That is, it represents an unknown set of objects which may
375375
be as large as ``object``, or as small as ``T``, but no smaller.

0 commit comments

Comments
 (0)