Rebase

Author: eernstg

specification/dartLangSpec.tex

@@ -11754,12 +11754,6 @@ \subsection{Function Expressions}
 \item{} If $T$ implements \code{Future<$S$>}
   (\ref{interfaceSuperinterfaces})
   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}