WIP

specification/dartLangSpec.tex

@@ -21848,7 +21848,6 @@ \subsubsection{Meta-Variables}
 \begin{itemize}
 \item $X$ ranges over type variables.
 \item $C$ ranges over classes,
-\item $F$ ranges over type aliases.
 \item $T$ and $S$ range over types.
 \item $B$ ranges over types; it is only used as a type variable bound.
 \item $r$ and $r'$ range over \REQUIRED{} or empty;