WIP

eernstg · eernstg · commit da845bff86fb · 2025-10-23T15:24:21.000+02:00
diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
@@ -23484,6 +23484,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
`@@ -23484,6 +23484,8 @@ \subsection{Same Type}`
`23484`	`23484`	`}`
`23485`	`23485`	`\item $S$ is of the form $S'?$ and $T$ is of the form $T'?$,`
`23486`	`23486`	`and $S'$ is the same type as $T'$.`
	`23487`	`+\item $S$ is of the form \code{$X$\&$U$} and $T$ is of the form \code{$X$\&$V$},`
	`23488`	`+ and $U$ is the same type as $V$.`
`23487`	`23489`	`\item $S$ is of the form \code{$C$<$U_1$, \ldots\ $U_s$>},`
`23488`	`23490`	`and $T$ is of the form \code{$D$<$V_1$, \ldots\ $V_s$>},`
`23489`	`23491`	`where $C$ and $D$ have been resolved to denote the same declaration,`