[exec.recv.concepts] Mark exposition-only concepts as such (#7540)

cplusplus · Jan 3, 2025 · 8faee0f · 8faee0f
1 parent 75af9f7
commit 8faee0f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/source/exec.tex b/source/exec.tex
@@ -1095,15 +1095,15 @@
       @\libconcept{constructible_from}@<remove_cvref_t<Rcvr>, Rcvr>;   // lvalues are copyable
 
   template<class Signature, class Rcvr>
-    concept @\defexposconcept{valid-completion-for}@ =
+    concept @\defexposconcept{valid-completion-for}@ =                 // \expos
       requires (Signature* sig) {
         []<class Tag, class... Args>(Tag(*)(Args...))
             requires @\exposconcept{callable}@<Tag, remove_cvref_t<Rcvr>, Args...>
         {}(sig);
       };
 
   template<class Rcvr, class Completions>
-    concept @\defexposconcept{has-completions}@ =
+    concept @\defexposconcept{has-completions}@ =                      // \expos
       requires (Completions* completions) {
         []<@\exposconcept{valid-completion-for}@<Rcvr>...Sigs>(completion_signatures<Sigs...>*)
         {}(completions);