WIP

Author: eernstg

specification/dartLangSpec.tex

@@ -23474,9 +23474,9 @@ \subsection{Same Type}
 \item $S$ is \VOID{} and $T$ is \VOID.
   \commentary{This is a reserved word and cannot be redefined.}
 \item $S$ is an identifier or a prefixed identifier which is resolved
-  to denote a type-introducing declaration $D_S$,
+  to denote a declaration $D_S$,
   and $T$ is an identifier or a prefixed identifier which is resolved
-  to denote a type-introducing declaration $D_T$,
+  to denote a declaration $D_T$,
   and $D_S$ is the same declaration as  $D_T$.
 \item $S$ is of the form $S'?$ and $T$ is of the form $T'?$,
   and $S'$ is the same type as $T'$.