fixup: markup issues

Author: jensmaurer

source/exec.tex

@@ -5063,8 +5063,8 @@
   auto&& [_, data] = std::forward<Sndr>(sndr);
 
   using associate_data_t = remove_cvref_t<decltype(data)>;
-  using assoc_t = associate_data_t::assoc-t;
-  using sender_ref_t = associate_data_t::sender-ref;
+  using assoc_t = associate_data_t::@\exposid{assoc-t}@;
+  using sender_ref_t = associate_data_t::@\exposid{sender-ref}@;
 
   using op_t = connect_result_t<typename sender_ref_t::element_type, Rcvr>;
 
@@ -5078,7 +5078,7 @@
     explicit op_state(pair<assoc_t, sender_ref_t> parts, Rcvr& r)
       : assoc(std::move(parts.first)) {
       if (assoc)
-        ::new (voidify(op)) op_t(connect(std::move(*parts.second), std::move(r)));
+        ::new (@\placeholdernc{voidify}@(op)) op_t(connect(std::move(*parts.second), std::move(r)));
       else
         rcvr = addressof(r);
     }
@@ -5879,7 +5879,7 @@
 
     @\exposid{spawn-state}@(Alloc alloc, Sender&& sndr, Token token);   // \expos
     void @\exposid{complete}@() noexcept override;                      // \expos
-    void @\exposid{run}@();                                             // \expos
+    void @\exposid{run}@() noexcept;                                    // \expos
 
   private:
     using @\exposid{alloc-t}@ =                                         // \expos
@@ -5918,7 +5918,7 @@
 \effects
 Equivalent to:
 \begin{codeblock}
-if (@\exposid{assoc})
+if (@\exposid{assoc}@)
   start(@\exposid{op}@);
 else
   @\exposid{complete}@();
@@ -7699,7 +7699,7 @@
 \item
 a default constructed object of type \tcode{Assoc} is not engaged;
 \item
-for an object assoc of type \tcode{Assoc},
+for an object \exposid{assoc} of type \tcode{Assoc},
 \tcode{static_cast<bool>(assoc)} is \tcode{true}
 if and only if \tcode{assoc} is engaged;
 \item
@@ -7746,7 +7746,7 @@
     concept @\deflibconcept{scope_token}@ =
       @\libconcept{copyable}@<Token> &&
       requires(const Token token) {
-        { token.try_associate() } -> @\libconcept{scope_association}@<bool>;
+        { token.try_associate() } -> @\libconcept{scope_association}@;
         { token.wrap(declval<@\placeholder{test-sender}@>()) } -> @\libconcept{sender_in}@<@\placeholder{test-env}@>;
       };
 }
@@ -7884,7 +7884,7 @@
 };
 
 template<class Scope>
-  @\exposid{struct association-t}@;  // \expos
+  struct @\exposid{association-t}@;     // \expos
 \end{codeblock}
 
 \pnum
@@ -7975,11 +7975,11 @@
 \tcode{assoc} is engaged when \tcode{assoc.\exposid{scope} != nullptr} is \tcode{true},
 \item
 if \tcode{assoc} is engaged,
-then \tcode{assoc.try_associate()} is equivalent to
+then \tcode{assoc.\exposid{try_associate}()} is equivalent to
 \tcode{assoc.scope->try-associate()}, and
 \item
 the association owned by \tcode{assoc}
-is released by invoking \tcode{assoc.scope->disassociate()}.
+is released by invoking \tcode{assoc.scope->\exposid{disassociate}()}.
 \end{itemize}
 
 \rSec3[exec.scope.simple.counting]{Simple Counting Scope}
@@ -8313,7 +8313,8 @@
 \pnum
 \effects
 If \exposid{count} is equal to \tcode{max_associations},
-then no effects. Otherwise, if \exposid{state} is
+then no effects.
+Otherwise, if \exposid{state} is
 \begin{itemize}
 \item
 \exposid{unused}, then increments \exposid{count} and