LWG4354 Reconsider weakly_parallel as the default forward_progress_guarantee

[exec.get.fwd.progress]p2 Removed : after "expression-equivalent to" for consistency.

Author: burblebee

source/exec.tex

@@ -1006,17 +1006,13 @@
 If \tcode{Sch} does not satisfy \libconcept{scheduler},
 \tcode{get_forward_progress_guarantee} is ill-formed.
 Otherwise,
-\tcode{get_forward_progress_guarantee(sch)} is expression-equivalent to:
-\begin{itemize}
-\item
-\tcode{\exposid{MANDATE-NOTHROW}(\exposid{AS-CONST}(sch).query(get_forward_progress_guarantee))},
-if that expression is well-formed.
+\tcode{get_forward_progress_guarantee(sch)} is expression-equivalent to
+\begin{codeblock}
+@\exposid{MANDATE-NOTHROW}@(@\exposid{AS-CONST}@(sch).query(get_forward_progress_guarantee))
+\end{codeblock}
 
 \mandates
 The type of the expression above is \tcode{forward_progress_guarantee}.
-\item
-Otherwise, \tcode{forward_progress_guarantee::weakly_parallel}.
-\end{itemize}
 
 \pnum
 If \tcode{get_forward_progress_guarantee(sch)} for some scheduler \tcode{sch}
@@ -1111,6 +1107,7 @@
       @\exposconcept{queryable}@<Sch> &&
       requires(Sch&& sch) {
         { schedule(std::forward<Sch>(sch)) } -> @\libconcept{sender}@;
+        { get_forward_progress_guarantee(sch) } -> @\libconcept{same_as}@<forward_progress_guarantee>;
         { auto(get_completion_scheduler<set_value_t>(
             get_env(schedule(std::forward<Sch>(sch))))) }
               -> @\libconcept{same_as}@<remove_cvref_t<Sch>>;