WIP

eernstg · eernstg · commit 88aec87a8d05 · 2025-11-13T09:11:10.000+01:00
diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
@@ -23480,7 +23480,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
`@@ -23480,7 +23480,7 @@ \subsection{Same Type}`
`23480`	`23480`	`and $D_S$ is the same declaration as $D_T$.`
`23481`	`23481`	`\commentary{%`
`23482`	`23482`	`This covers references to classes and other type-introducing declarations,`
`23483`		`- and it also covers type parameters.%`
	`23483`	`+ and it also covers type variables.%`
`23484`	`23484`	`}`
`23485`	`23485`	`\item $S$ is of the form $S'?$ and $T$ is of the form $T'?$,`
`23486`	`23486`	`and $S'$ is the same type as $T'$.`