WIP

Author: eernstg

specification/dartLangSpec.tex

@@ -23395,9 +23395,9 @@ \subsection{Same Type}
   the only kind of type which can declare type variables,
   so only a generic function type can be subjected to an alpha conversion.
   For example,
-  \code{List<X>\,\,\FUNCTION<X>({X\,\,arg})}
+  \code{List<X>\,\,\FUNCTION<X>({X})}
   can be turned into
-  \code{List<Y>\,\,\FUNCTION<Y>({Y\,\,arg})}
+  \code{List<Y>\,\,\FUNCTION<Y>({Y})}
   by alpha conversion.%
 }