WIP

eernstg · eernstg · commit 720f8c762bb8 · 2025-10-03T10:03:03.000+02:00
diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
@@ -23473,7 +23473,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
`@@ -23473,7 +23473,7 @@ \subsection{Same Type}`
`23473`	`23473`	`and $D_S$ is the same declaration as $D_T$.`
`23474`	`23474`	`\commentary{%`
`23475`	`23475`	`This covers references to classes and other type-introducing declarations,`
`23476`		`- and it also covers type parameters.%`
	`23476`	`+ and it also covers type variables.%`
`23477`	`23477`	`}`
`23478`	`23478`	`\item $S$ is of the form $S'?$ and $T$ is of the form $T'?$,`
`23479`	`23479`	`and $S'$ is the same type as $T'$.`