WIP

Author: eernstg

specification/dartLangSpec.tex

@@ -23385,6 +23385,11 @@ \subsection{Same Type}
 carries information about the declaration
 that it has been resolved to denote.
 
+\LMHash{}%
+Moreover, it is assumed that
+type inference and instantiation to bound has taken place 
+such that none of the types enountered are raw.
+
 \LMHash{}%
 We need one more mechanism:
 An \Index{alpha conversion} of a type is a consistent, non-capturing renaming