Skip to content

Commit cd51310

Browse files
committed
WIP
1 parent cab83e6 commit cd51310

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

specification/dartLangSpec.tex

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -22110,8 +22110,7 @@ \subsubsection{Informal Subtype Rule Descriptions}
2211022110
if \code{Null} is a subtype of $T$.
2211122111
\Item{\SrnLeftFutureOr}{Left FutureOr}
2211222112
The type \code{FutureOr<$S$>} is a subtype of a given type $T$
22113-
if \code{Future<$S$>} is a subtype of $T$ and $S$ is a subtype of $T$,
22114-
for every type $S$ and $T$.
22113+
if \code{Future<$S$>} is a subtype of $T$ and $S$ is a subtype of $T$.
2211522114
\Item{\SrnLeftNullable}{Left Nullable}
2211622115
A nullable type \code{$S$?} is a subtype of a given type $T$
2211722116
if \code{$S$} is a subtype of $T$ and \code{Null} is a subtype of $T$.

0 commit comments

Comments
 (0)