From 3ddd038369abcd50c7212708dc97f546523d38ad Mon Sep 17 00:00:00 2001
From: Erik Ernst <eernst@google.com>
Date: Thu, 14 Nov 2024 11:39:42 +0100
Subject: [PATCH] Clarified class building types

---
 specification/dartLangSpec.tex | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
index 8c632e049..dadb01c10 100644
--- a/specification/dartLangSpec.tex
+++ b/specification/dartLangSpec.tex
@@ -25137,19 +25137,22 @@ \subsection{Class Building Types}
 \begin{itemize}
 \item $T$ is \VOID{} (\ref{typeVoid}).
 \item $T$ is \DYNAMIC{} (\ref{typeDynamic}).
-\item $T$ is \code{FutureOr<$S$>} for some type $S$ (\ref{typeFutureOr}).
 \item
-  % TODO(eernst): If we introduce sealed classes we will have an item
-  % for those, and we may wish to rephrase this.
   $T$ is \code{Never}, \code{Null}, \code{num}, \code{int}, \code{double},
   \code{bool}, or \code{String}.
+\item $T$ is an enumerated type (\ref{enums}).
+% TODO(eernst): Come newer versions, add these:
+% \item $T$ is a record type (\ref{???}) or the type \RECORD.
+% \item $T$ is a sealed class.
+\item $T$ is a function type (\ref{functionTypes}) or the type \FUNCTION.
 \item $T$ is \code{$S$?} for some type $S$.
+\item $T$ is \code{FutureOr<$S$>} for some type $S$ (\ref{typeFutureOr}).
+% \item $T$ is an extension type (\ref{???}).
 \item $T$ is a type variable (\ref{generics}).
-\item $T$ is a function type (\ref{functionTypes}).
+\item $T$ is an intersection type (\ref{intersectionTypes}).
+\item $T$ is a deferred type (\ref{staticTypes}).
 \item $T$ is a type alias whose transitive alias expansion
   (\ref{typedef}) does not denote a class building type.
-\item $T$ is an enumerated type (\ref{enums}).
-\item $T$ is a deferred type (\ref{staticTypes}).
 \end{itemize}