From 6a3b7165c71d1b28807b8bd6ae142edc2f040dc1 Mon Sep 17 00:00:00 2001 From: Carl Meyer Date: Wed, 19 Jun 2024 19:07:52 -0600 Subject: [PATCH] Update glossary.rst Co-authored-by: Alex Waygood --- docs/spec/glossary.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/spec/glossary.rst b/docs/spec/glossary.rst index d1b8db89..41bb2b58 100644 --- a/docs/spec/glossary.rst +++ b/docs/spec/glossary.rst @@ -143,9 +143,9 @@ This section defines a few terms that may be used elsewhere in the specification ``A``. For :term:`nominal` types (classes), subtyping is defined by inheritance. For :term:`structural` types, subtyping is defined by a shared set of attributes/methods or keys. Subtype is the inverse of - :term:`supertype`. Types that are not fully static are not a subtype or + :term:`supertype`. A type that is not fully static is not a subtype or supertype of any other type, but via :term:`materialization - ` they can be :term:`assignable` to another type. See + ` can be :term:`assignable` to another type. See :ref:`type-system-concepts`. supertype