Rewording

Author: eernstg

specification/dartLangSpec.tex

@@ -11718,7 +11718,7 @@ \subsection{Function Expressions}
 \LMHash{}%
 We say that a type $T$
 \IndexCustom{derives a future type}{type!derives a future type}
-if one of the following cases applies:
+$F$ in the following cases, using the first applicable case:
 
 %% TODO(eernst): Note that `X extends X?` can create an infinite loop.
 %% We will probably make that kind of bound an error.