From 10d25e561e9bfc82b931515acbb6e14bf547f351 Mon Sep 17 00:00:00 2001
From: Erik Ernst <eernst@google.com>
Date: Thu, 18 Jan 2024 16:09:38 +0100
Subject: [PATCH] Simplify a rule

---
 specification/dartLangSpec.tex | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
index 4b79bc214..1e60437e9 100644
--- 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$,