WIP

eernstg · eernstg · commit e64dd725d190 · 2025-10-03T10:03:03.000+02:00
diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
@@ -23477,6 +23477,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
`@@ -23477,6 +23477,8 @@ \subsection{Same Type}`
`23477`	`23477`	`}`
`23478`	`23478`	`\item $S$ is of the form $S'?$ and $T$ is of the form $T'?$,`
`23479`	`23479`	`and $S'$ is the same type as $T'$.`
	`23480`	`+\item $S$ is of the form \code{$X$\&$U$} and $T$ is of the form \code{$X$\&$V$},`
	`23481`	`+ and $U$ is the same type as $V$.`
`23480`	`23482`	`\item $S$ is of the form \code{$C$<$U_1$, \ldots\ $U_s$>},`
`23481`	`23483`	`and $T$ is of the form \code{$D$<$V_1$, \ldots\ $V_s$>},`
`23482`	`23484`	`where $C$ and $D$ have been resolved to denote the same declaration,`