WIP

eernstg · eernstg · commit 3caa55296653 · 2025-08-22T14:09:10.000+02:00
diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
@@ -23425,6 +23425,8 @@ \subsection{Same Type}
   }
 \item $S$ is of the form $S'?$ and $T$ is of the form $T'?$,
   and $S'$ is the same type as $T'$.
+\item $S$ is of the form \code{$X$\&$U$} and $T$ is of the form \code{$X$\&$V$},
+  and $U$ is the same type as $V$.
 \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,

Original file line number	Diff line number	Diff line change
`@@ -23425,6 +23425,8 @@ \subsection{Same Type}`
`23425`	`23425`	`}`
`23426`	`23426`	`\item $S$ is of the form $S'?$ and $T$ is of the form $T'?$,`
`23427`	`23427`	`and $S'$ is the same type as $T'$.`
	`23428`	`+\item $S$ is of the form \code{$X$\&$U$} and $T$ is of the form \code{$X$\&$V$},`
	`23429`	`+ and $U$ is the same type as $V$.`
`23428`	`23430`	`\item $S$ is of the form \code{$C$<$U_1$, \ldots\ $U_s$>},`
`23429`	`23431`	`and $T$ is of the form \code{$D$<$V_1$, \ldots\ $V_s$>},`
`23430`	`23432`	`where $C$ and $D$ have been resolved to denote the same declaration,`