Make the spec specific about the return type of sync*/async/async* function.

docs/language/dartLangSpec.tex

Index: docs/language/dartLangSpec.tex
diff --git a/docs/language/dartLangSpec.tex b/docs/language/dartLangSpec.tex
index e826260a5cd9f486b591310eaeac74e59a0a9ff6..7b10a6c3a5a0297bbccbac1aa2ff355b156ace61 100644
--- a/docs/language/dartLangSpec.tex
+++ b/docs/language/dartLangSpec.tex
@@ -592,7 +592,9 @@ An asynchronous constructor would, by definition, never return an instance of th
 One could allow modifiers for factories. A factory for \code{Future} could be modified by \ASYNC{}, a factory for \code{Stream} could be modified by \ASYNC* and a factory for \code{Iterable} could be modified by \SYNC*. No other scenario makes sense because the object returned by the factory would be of the wrong type. This situation is very unusual so it is not worth making an exception to the general rule for constructors in order to allow it.
 }
 \LMHash{}
-It is a static warning if the declared return type of a function marked \ASYNC{} may not be assigned to \code{Future}. It is a static warning if the declared return type of a function marked \SYNC* may not be assigned to \code{Iterable}. It is a static warning if the declared return type of  a function marked \ASYNC* may not be assigned to \code{Stream}.
+It is a static warning if the declared return type of a function marked \ASYNC{} is not a supertype of \code{Future$<$$T$$>$} for some type $T$.
+It is a static warning if the declared return type of a function marked \SYNC* is not a supertype of \code{Iterable$<$$T$$>$} for some type $T$.
+It is a static warning if the declared return type of a function marked \ASYNC* is not a supertype of \code{Stream$<$$T$$>$} for some type $T$.

[eernst, 2016/10/03 12:49:08]

OK: Discussed IRL, and I agree that this does not eliminate any useful programs.
Consider using `$<\mbox{$T$}>$` to control the spacing.

[Lasse Reichstein Nielsen, 2016/10/05 08:22:57]

Changed to using mbox.

 
 \subsection{Function Declarations}
 \LMLabel{functionDeclarations}