Clarified tear-offs of methods with covariant parameters

Author: eernstg

specification/dartLangSpec.tex

@@ -15406,7 +15406,11 @@ \subsubsection{Instance Method Closurization}
 \LMHash{}%
 For each parameter $p_j$, $j \in 1 .. n+k$, if $p_j$ is covariant
 (\ref{covariantParameters})
-then $T_j$ is \DYNAMIC. %% No user code will see this, avoid downcast in body.
+then $T_j$ is \code{Object?}.
+The corresponding actual argument in the body is replaced by
+\code{$p_j$\,\,\AS\,\,$T'_j$}
+where $T'_j$ is the type which would be $T_j$ if $p_j$ had not been covariant
+(\commentary{that is, it is computed as specified below}).
 
 \commentary{%
 This is concerned with the dynamic type of the function object obtained by
@@ -15419,12 +15423,15 @@ \subsubsection{Instance Method Closurization}
 }
 
 \LMHash{}%
-Otherwise, if $T$ is a non-generic class then for $j \in 1 .. n+k$,
+Otherwise
+(\commentary{when $p_j$ is not covariant}),
+if $T$ is a non-generic class then for $j \in 1 .. n+k$,
 $T_j$ is a type annotation that denotes the same type
 (\ref{typeType})
 as that which is denoted by the type annotation on
 the corresponding parameter declaration in $D$.
-If that parameter declaration has no type annotation then $T_j$ is \DYNAMIC.
+If that parameter declaration has no type annotation
+then $T_j$ is \code{Object?}.
 
 \LMHash{}%
 Otherwise $T$ is a generic instantiation of a generic class $G$.
@@ -15433,7 +15440,8 @@ \subsubsection{Instance Method Closurization}
 Then $T_j$ is a type annotation that denotes
 $[t''_1/X''_1, \ldots, t''_{s''}/X''_{s''}]S_j$,
 where $S_j$ is the type annotation of the corresponding parameter in $D$.
-If that parameter declaration has no type annotation then $T_j$ is \DYNAMIC.
+If that parameter declaration has no type annotation
+then $T_j$ is \code{Object?}.
 
 \LMHash{}%
 There is one way in which
@@ -15562,7 +15570,11 @@ \subsubsection{Super Closurization}
 \LMHash{}%
 For each parameter $p_j$, $j \in 1 .. n+k$, if $p_j$ is covariant
 (\ref{covariantParameters})
-then $T_j$ is \DYNAMIC.
+then $T_j$ is \code{Object?}.
+The corresponding actual argument in the body is replaced by
+\code{$p_j$\,\,\AS\,\,$T'_j$}
+where $T'_j$ is the type which would be $T_j$ if $p_j$ had not been covariant
+(\commentary{that is, it is computed as specified below}).
 
 \commentary{%
 This is concerned with the dynamic type of the function object obtained by
@@ -15575,12 +15587,15 @@ \subsubsection{Super Closurization}
 }
 
 \LMHash{}%
-Otherwise, if $S$ is a non-generic class then for $j \in 1 .. n+k$,
+Otherwise
+(\commentary{when $p_j$ is not covariant}),
+if $S$ is a non-generic class then for $j \in 1 .. n+k$,
 $T_j$ is a type annotation that denotes the same type
 (\ref{typeType})
 as that which is denoted by the type annotation on
 the corresponding parameter declaration in $D$.
-If that parameter declaration has no type annotation then $T_j$ is \DYNAMIC.
+If that parameter declaration has no type annotation
+then $T_j$ is \code{Object?}.
 
 \LMHash{}%
 Otherwise $S$ is a generic instantiation of a generic class $G$.
@@ -15589,7 +15604,8 @@ \subsubsection{Super Closurization}
 Then $T_j$ is a type annotation that denotes
 $[t''_1/X''_1, \ldots, t''_{s''}/X''_{s''}]S_j$,
 where $S_j$ is the type annotation of the corresponding parameter in $D$.
-If that parameter declaration has no type annotation then $T_j$ is \DYNAMIC.
+If that parameter declaration has no type annotation
+then $T_j$ is \code{Object?}.
 
 \LMHash{}%
 There is one way in which