WIP

dart-lang · Oct 18, 2024 · f4bfd29 · f4bfd29
1 parent 6136f96
commit f4bfd29
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
@@ -23479,8 +23479,8 @@ \section*{Appendix: Algorithmic Subtyping}
   then \SubtypeNE{T_0}{T_1} if{}f \SubtypeNE{S_i}{U_i} for each $i$.
 \item
   \textbf{Super-Interface:}
-  $T_0$ is an interface type with super-interfaces \List{S}{0}{n}
-  and \SubtypeNE{S_i}{T_1} for some $i$.
+  If $T_0$ is an interface type with super-interfaces \List{S}{0}{n}
+  then \SubtypeNE{T_0}{T_1} if{}f \SubtypeNE{S_i}{T_1} for some $i$.
 \item
   \textbf{Positional Function Types:}
   $T_0$ is