WIP

Author: eernstg

specification/dartLangSpec.tex

@@ -23481,7 +23481,6 @@ \subsection{Same Type}
 \item $S$ is of the form \code{$C$<$U_1$, \ldots\ $U_s$>},
   and $T$ is of the form \code{$D$<$V_1$, \ldots\ $V_s$>},
   where $C$ and $D$ have been resolved to denote the same declaration,
-  or they are both \code{FutureOr},
   and $U_j$ is the same type as $V_j$ for all $j \in 1 .. s$.
 \item $S$ is of the form $S'?$ and $T$ is of the form $T'?$,
   and $S'$ is the same type as $T'$.
@@ -23509,8 +23508,8 @@ \subsection{Same Type}
 For the purpose of the above test, \code{Object}, \code{dynamic},
 \code{Null}, \code{Never}, \code{Function},
 %% TODO(eernst): Add \code{Record},
-and \code{Future} are considered to be introduced by a declaration in
-\code{dart:core}.
+\code{Future}, and \code{FutureOr}
+are considered to be introduced by a declaration in \code{dart:core}.
 
 
 \section{Reference}