From 7da7f02f33cf8f7a607a249392d5098274549756 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bartosz=20S=C5=82awecki?= Date: Mon, 10 Feb 2025 22:18:22 +0100 Subject: [PATCH] Glossary: Clarify which types don't participate in subtyping (#1907) --- docs/spec/glossary.rst | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/spec/glossary.rst b/docs/spec/glossary.rst index f17ffb61..1acbcc95 100644 --- a/docs/spec/glossary.rst +++ b/docs/spec/glossary.rst @@ -73,10 +73,10 @@ This section defines a few terms that may be used elsewhere in the specification contains ``Any`` or another :term:`gradual form`. A gradual type does not necessarily represent a single set of possible runtime values; instead it can represent a set of possible static types (a set of possible sets of - possible runtime values). Gradual types do not participate in the - :term:`subtype` relation, but they do participate in :term:`consistency - ` and :term:`assignability `. They can be - :term:`materialized ` to a more static, or fully static, + possible runtime values). Gradual types which are not fully static do not + participate in the :term:`subtype` relation, but they do participate in + :term:`consistency ` and :term:`assignability `. + They can be :term:`materialized ` to a more static, or fully static, type. See :ref:`type-system-concepts`. inline