Simplify a rule

dart-lang · Jan 18, 2024 · 10d25e5 · 10d25e5
1 parent b2b2572
commit 10d25e5
Showing 1 changed file with 3 additions and 6 deletions.
diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
@@ -11727,12 +11727,9 @@ \subsection{Function Expressions}
   for some $U$ then
   $T$ derives the future type \code{Future<$U$>}.
 \item
-  Whenever $S$ is of the form
-  \code{FutureOr<$U$>}, \code{Future<$U$>?}, or \code{FutureOr<$U$>?},
-  the following holds:
-  If $T$ is $S$ bounded
-  (\ref{bindingActualsToFormals}),
-  then $T$ derives the future type $S$.
+  If $T$ is \code{FutureOr<$U$>} bounded
+  (\ref{bindingActualsToFormals})
+  then $T$ derives the future type \code{FutureOr<$U$>}.
 \item
   If $T$ is \code{$T_1$?} for some $T_1$, and
   $T_1$ derives the future type $S_1$,