Merge pull request #155 from cplusplus/nuke-getcomplsigs-mandated

remove overconstraining mandates in [exec.getcomplsigs]
cplusplus · Dec 10, 2023 · 8503a48 · 8503a48
2 parents 58614d0 + 604394e
commit 8503a48
Showing 1 changed file with 0 additions and 8 deletions.
diff --git a/execution.bs b/execution.bs
@@ -5567,16 +5567,8 @@ template&lt;class Domain, class Tag, sender Sender, class... Args>
     1. `tag_invoke_result_t<get_completion_signatures_t, S, E>{}` if that
         expression is well-formed,
 
-        * <i>Mandates:</i>
-            <code><i>valid-completion-signatures</i>&lt;Sigs></code>, where
-            `Sigs` names the type
-            `tag_invoke_result_t<get_completion_signatures_t, S, E>`.
-
     2. Otherwise, `remove_cvref_t<S>::completion_signatures{}` if that expression is well-formed,
 
-        * <i>Mandates:</i> <code><i>valid-completion-signatures</i>&lt;Sigs></code>,
-            where `Sigs` names the type `remove_cvref_t<S>::completion_signatures`.
-
     3. Otherwise, if <code><i>is-awaitable</i>&lt;S, <i>env-promise</i>&lt;E>></code>
         is `true`, then: