Skip to content

Commit fcb71e4

Browse files
committed
WIP
1 parent 2ec1bfd commit fcb71e4

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

specification/dartLangSpec.tex

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -25169,10 +25169,11 @@ \subsection{Interface Types}
2516925169
Let $T$ be a type, and let $T'$ be the transitive alias expansion of $T$
2517025170
(\ref{typedef}).
2517125171
We say that $T$ is an \Index{interface type} if{}f
25172-
$T'$ is of the form \code{$C$<\List{T}{1}{k}>},
25172+
$T'$ is of the form \code{$C$<\List{T}{1}{k}>}
25173+
for some $k \geq 0$,
2517325174
where $C$ denotes a class different from \code{Never} and \code{Null},
2517425175
% TODO(eernst): Add mixin classes when supported
25175-
or $C$ denotes a mixin
25176+
or $C$ denotes a mixin
2517625177
(\ref{mixins}),
2517725178
or an enumerated type
2517825179
(\ref{enums}).

0 commit comments

Comments
 (0)