WIP

Author: eernstg

specification/dartLangSpec.tex

@@ -23339,7 +23339,7 @@ \subsection{Same Type}
 or upper and lower bounds
 (\ref{standardUpperBoundsAndStandardLowerBounds}),
 because it is concerned with relationships among program elements
-that occur in different binding environments.
+that may occur in different binding environments.
 
 \commentary{%
   The notion of being the same type at run time is different from