Correction: Update dynamic type of covariant parameter to Object?

Author: eernstg

specification/dartLangSpec.tex

@@ -5836,7 +5836,7 @@ \subsubsection{Correct Member Overrides}
 \item
   If $m$ and $m'$ are both methods or both setters:
   Let $F$ be the function type of $m$
-  except that the parameter type is the built-in class \code{Object}
+  except that the parameter type is \code{Object?}
   for each parameter of $m$ which is covariant-by-declaration
   (\ref{covariantParameters}).
   Let $F'$ be the function type of $m'$.
@@ -7828,7 +7828,7 @@ \subsection{Super-Bounded Types}
 \end{dartCode}
 
 \commentary{%
-With this, \code{a.x} has static type \code{Object},
+With this, \code{a.x} has static type \code{Object?},
 even though the upper bound on the type variable \code{X} is \code{num}.%
 }
 
@@ -7855,7 +7855,7 @@ \subsection{Super-Bounded Types}
 (noting that all types must be regular-bounded
 when we do not have the notion of super-bounded types).
 So if we wish to allow a variable to hold any instance ``of type \code{C}''
-then that variable must use \code{Object} or another top type
+then that variable must use \code{Object?} or another top type
 as its type annotation,
 which means that a member like \code{next} is not known to exist
 (which is what we mean by saying that the type is `less informative').%
@@ -12814,7 +12814,7 @@ \subsection{Function Invocation}
 where $U$ is determined as follows:
 Let $T$ be the actual return type of $f$ (\ref{actualTypes}).
 If $T$ is \code{Iterable<$S$>} for some type $S$, then $U$ is $S$,
-otherwise $U$ is \code{Object}.
+otherwise $U$ is \code{Object?}.
 
 \commentary{%
 A Dart implementation will need to provide
@@ -12932,7 +12932,7 @@ \subsection{Function Invocation}
 where $U$ is determined as follows:
 Let $T$ be the actual return type of $f$ (\ref{actualTypes}).
 If $T$ is \code{Stream<$S$>} for some type $S$, then $U$ is $S$,
-otherwise $U$ is \code{Object}.
+otherwise $U$ is \code{Object?}.
 When $s$ is listened to, execution of the body of $f$ will begin.
 When execution of the body of $f$ completes:
 \begin{itemize}
@@ -14914,7 +14914,7 @@ \subsubsection{Superinvocations}
 It is a \Error{compile-time error} if a method superinvocation occurs
 in a top-level function or variable initializer,
 in an instance variable initializer or initializer list,
-in class \code{Object},
+in the built-in class \code{Object},
 in a factory constructor,
 or in a static method or variable initializer.