WIP

Author: eernstg

specification/dartLangSpec.tex

@@ -23433,10 +23433,16 @@ \subsection{Same Type}
 \item $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
   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
+  then they must both be generic,
+  and they must have textually identical type parameter declaration lists.
 \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'$,
@@ -23447,6 +23453,11 @@ \subsection{Same Type}
   and $S$ is the same type as $T'$.
 \item There exists an alpha conversion of $S$ yielding $S'$, and
   $S'$ and $T$ are the same type.
+  \commentary{%
+    This rule can be used to obtain
+    textually identical type parameter declaration lists,
+    if they only differ in the choice of naming.%
+  }
 \end{itemize}
 
 \LMHash{}%