Specify erasure of intersection types for the semantics of await expressions

eernstg · eernstg · commit 84e7b8d58a82 · 2023-08-08T18:25:47.000+02:00
diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
@@ -26477,7 +26477,7 @@ \section*{Appendix: Algorithmic Subtyping}
   if $T_0$ is a type variable $X_0$
   or a promoted type variables \code{$X_0$\,\&\,$S_0$} and $T_1$ is $X_0$
   then \SubtypeNE{T_0}{T_1}.
-  
+
   \commentary{%
     Note that this rule is admissible, and can be safely elided if desired.%
   }

Original file line number	Diff line number	Diff line change
`@@ -26477,7 +26477,7 @@ \section*{Appendix: Algorithmic Subtyping}`
`26477`	`26477`	`if $T_0$ is a type variable $X_0$`
`26478`	`26478`	`or a promoted type variables \code{$X_0$\,\&\,$S_0$} and $T_1$ is $X_0$`
`26479`	`26479`	`then \SubtypeNE{T_0}{T_1}.`
`26480`		`-`
	`26480`	`+`
`26481`	`26481`	`\commentary{%`
`26482`	`26482`	`Note that this rule is admissible, and can be safely elided if desired.%`
`26483`	`26483`	`}`