Rebase

Author: eernstg

specification/dartLangSpec.tex

@@ -11757,9 +11757,15 @@ \subsection{Function Expressions}
 
 \item{} If $T$ implements \code{Future<$S$>}
   (\ref{interfaceSuperinterfaces})
-  then \DefEquals{\flatten{T}}{S}.
-
-\item{} Otherwise, \DefEquals{\flatten{T}}{T}.
+  then \DefEquals{\Flatten{$T$}}{S}.
+\item If $T$ is a $B$ bounded type variable
+  (\ref{typesBoundedByTypes})
+  or intersection type
+  (\ref{intersectionTypes})
+  where \SubtypeNE{\code{Object}}{B} then
+  \DefEquals{\Flatten{$T$}}{\code{Object?}}.
+\item Otherwise,
+  \DefEquals{\Flatten{$T$}}{T}.
 \end{itemize}
 
 \commentary{%