WIP

Author: eernstg

specification/dartLangSpec.tex

@@ -23386,6 +23386,7 @@ \subsection{Same Type}
 that it has been resolved to denote.
 
 \LMHash{}%
+We need one more mechanism:
 An \Index{alpha conversion} of a type is a consistent, non-capturing renaming
 of type variables declared in that type.