WIP

eernstg · eernstg · commit b2d0b49b930c · 2025-08-15T16:47:37.000+02:00
diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
@@ -23421,7 +23421,7 @@ \subsection{Same Type}
   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.%
+    and it also covers type variables.%
   }
 \item $S$ is of the form $S'?$ and $T$ is of the form $T'?$,
   and $S'$ is the same type as $T'$.

Original file line number	Diff line number	Diff line change
`@@ -23421,7 +23421,7 @@ \subsection{Same Type}`
`23421`	`23421`	`and $D_S$ is the same declaration as $D_T$.`
`23422`	`23422`	`\commentary{%`
`23423`	`23423`	`This covers references to classes and other type-introducing declarations,`
`23424`		`- and it also covers type parameters.%`
	`23424`	`+ and it also covers type variables.%`
`23425`	`23425`	`}`
`23426`	`23426`	`\item $S$ is of the form $S'?$ and $T$ is of the form $T'?$,`
`23427`	`23427`	`and $S'$ is the same type as $T'$.`