WIP

Author: eernstg

specification/dartLangSpec.tex

@@ -23419,6 +23419,10 @@ \subsection{Same Type}
   and $T$ is an identifier or a prefixed identifier which is resolved
   to denote a declaration $D_T$,
   and $D_S$ is the same declaration as  $D_T$.
+  \commentary{%
+    This covers references to classes and other type-introducing declarations,
+    and it also covers type parameters.%
+  }
 \item $S$ is of the form $S'?$ and $T$ is of the form $T'?$,
   and $S'$ is the same type as $T'$.
 \item $S$ is of the form \code{$C$<$U_1$, \ldots\ $U_s$>},