WIP

specification/dartLangSpec.tex

@@ -22110,8 +22110,7 @@ \subsubsection{Informal Subtype Rule Descriptions}
   if \code{Null} is a subtype of $T$.
 \Item{\SrnLeftFutureOr}{Left FutureOr}
   The type \code{FutureOr<$S$>} is a subtype of a given type $T$
-  if \code{Future<$S$>} is a subtype of $T$ and $S$ is a subtype of $T$,
-  for every type $S$ and $T$.
+  if \code{Future<$S$>} is a subtype of $T$ and $S$ is a subtype of $T$.
 \Item{\SrnLeftNullable}{Left Nullable}
   A nullable type \code{$S$?} is a subtype of a given type $T$
   if \code{$S$} is a subtype of $T$ and \code{Null} is a subtype of $T$.