Add text based on review comment.

stereotype441 · stereotype441 · commit 74e579473f20 · 2024-08-06T18:06:43.000Z
See #3937 (comment).
diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
@@ -13058,7 +13058,8 @@ \subsubsection{Binding Actuals to Formals}
 \commentary{%
 Since it is illegal for a type parameter to be a supertype of its own
 bound, it follows that for any type $T$, there exists exactly one type
-$T_0$ for which $T$ is $T_0$ bounded.%
+$T_0$ for which $T$ is $T_0$ bounded. $T_0$ can be regarded as a
+non-type-variable type which is a (minimal) supertype of $T$.%
 }
 
 \LMHash{}%

Original file line number	Diff line number	Diff line change
`@@ -13058,7 +13058,8 @@ \subsubsection{Binding Actuals to Formals}`
`13058`	`13058`	`\commentary{%`
`13059`	`13059`	`Since it is illegal for a type parameter to be a supertype of its own`
`13060`	`13060`	`bound, it follows that for any type $T$, there exists exactly one type`
`13061`		`-$T_0$ for which $T$ is $T_0$ bounded.%`
	`13061`	`+$T_0$ for which $T$ is $T_0$ bounded. $T_0$ can be regarded as a`
	`13062`	`+non-type-variable type which is a (minimal) supertype of $T$.%`
`13062`	`13063`	`}`
`13063`	`13064`
`13064`	`13065`	`\LMHash{}%`