WIP

Author: eernstg

specification/dartLangSpec.tex

@@ -23467,7 +23467,7 @@ \subsection{Same Type}
 
 \begin{itemize}
 \item $S$ is \VOID{} and $T$ is \VOID.
-  \commentary{This is a reserved word and cannot be shadowed.}
+  \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$,
   and $T$ is an identifier or a prefixed identifier which is resolved