From 3a63ec850a06e1ebdcb5f64b2c51666ea7aad558 Mon Sep 17 00:00:00 2001
From: Erik Ernst <eernst@google.com>
Date: Mon, 15 Jan 2024 15:42:53 +0100
Subject: [PATCH 1/2] Add missing word "bounded" to def of flatten

---
 specification/dartLangSpec.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
index 4150f4d1f..782c99fc3 100644
--- a/specification/dartLangSpec.tex
+++ b/specification/dartLangSpec.tex
@@ -11746,7 +11746,7 @@ \subsection{Function Expressions}
 as follows, using the first applicable case:
 
 \begin{itemize}
-\item If $T$ is \code{$S$?}\ for some $S$
+\item If $T$ is \code{$S$?}\ bounded for some $S$
   then \DefEquals{\flatten{T}}{\code{\flatten{S}?}}.
 
 \item If $T$ is \code{$X$\,\&\,$S$}

From 04e48a358446ecb703769dea33b0991653563b34 Mon Sep 17 00:00:00 2001
From: Erik Ernst <eernst@google.com>
Date: Mon, 15 Jan 2024 15:57:38 +0100
Subject: [PATCH 2/2] Add change log entry

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

diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
index 782c99fc3..33e0f15ca 100644
--- a/specification/dartLangSpec.tex
+++ b/specification/dartLangSpec.tex
@@ -41,6 +41,12 @@
 % version of the language which will actually be specified by the next stable
 % release of this document.
 %
+% Jan 2024
+% - Add the word 'bounded' to a rule in the definition of 'flatten'. This is
+%   already the implemented behavior, and it is the consistent approach. The
+%   main consequence is that `await e` will await the future when the static
+%   type of `e` is, for example, `X extends Future<int>?`.
+%
 % Dec 2023
 % - Allow `~/` on operands of type `double` in constant expressions, aligning
 %   the specification with already implemented behavior.