WIP

Author: eernstg

specification/dartLangSpec.tex

@@ -23489,19 +23489,19 @@ \subsection{Same Type}
   where $C$ and $D$ have been resolved to denote the same declaration,
   and $U_j$ is the same type as $V_j$ for all $j \in 1 .. s$.
 %% TODO(eernst): When records are added, add a record type case here.
-\item $S$ and $T$ are both positional function types with the same
+\item (1) $S$ and $T$ are both positional function types with the same
   number of mandatory parameters and the same number of optional parameters,
   the same return type, and the same type for each of the parameters.
-  If at least one of the function types is generic
-  then they must both be generic,
-  and they must have textually identical type parameter declaration lists.
-\item $S$ and $T$ are both named function types with the same
+  Otherwise (2), $S$ and $T$ are both named function types with the same
   number of mandatory parameters and the same set of named parameters,
   the same return type, and the same type for each of the parameters,
   and the same subset of the named parameters marked as \REQUIRED.
-  If at least one of the function types is generic
+  %
+  For both (1) and (2), if at least one of the function types is generic
   then they must both be generic,
   and they must have textually identical type parameter declaration lists.
+  With this, the $j$th type parameter declaration from $S$ and from $T$
+  are considered to be the same declaration, for all $j \in 1 .. s$.
 \item $S$ is of the form \code{$F$<$U_1$, \ldots\ $U_s$>} where $F$
   denotes a type alias declaration,
   the unfolding of the type alias yields $S'$,