Rename Args to ArgTypes, which is defined

steve-downey · steve-downey · commit e3ba60b39d5c · 2025-01-18T18:31:07.000-05:00
There is no definition of Args in scope for function_ref. Moving the exposition
only members out of the descriptive text brought with it the undefined template
argument. Rename to ArgTypes.
diff --git a/source/utilities.tex b/source/utilities.tex
@@ -14385,7 +14385,7 @@
     template<class... T>
       static constexpr bool @\exposidnc{is-invocable-using}@ = @\seebelownc@;     // \expos
 
-    R (*@\exposidnc{thunk-ptr}@)(@\exposidnc{BoundEntityType}@, Args&&...) noexcept(@\placeholdernc{noex}@);  // \expos
+    R (*@\exposidnc{thunk-ptr}@)(@\exposidnc{BoundEntityType}@, ArgTypes&&...) noexcept(@\placeholdernc{noex}@);  // \expos
     @\exposidnc{BoundEntityType}@ @\exposidnc{bound-entity}@;                               // \expos
   };
 
@@ -14401,15 +14401,15 @@
 
 \pnum
 An object of class
-\tcode{function_ref<R(Args...) \cv{} noexcept(\placeholder{noex})>}
+\tcode{function_ref<R(ArgTypes...) \cv{} noexcept(\placeholder{noex})>}
 stores a pointer to function \exposid{thunk-ptr} and
 an object \exposid{bound-entity}.
 \exposid{bound-entity} has
 an unspecified trivially copyable type \exposid{BoundEntityType}, that
 models \libconcept{copyable} and
 is capable of storing a pointer to object value or a pointer to function value.
 The type of \exposid{thunk-ptr} is
-\tcode{R(*)(\exposidnc{BoundEntityType}, Args\&\&...) noexcept(\placeholder{noex})}.
+\tcode{R(*)(\exposidnc{BoundEntityType}, ArgTypes\&\&...) noexcept(\placeholder{noex})}.
 
 \pnum
 Each specialization of \tcode{function_ref} is
@@ -14420,7 +14420,7 @@
 Within \ref{func.wrap.ref},
 \tcode{\placeholder{call-args}} is an argument pack with elements such that
 \tcode{decltype((\placeholder{call-args}\linebreak{}))...} denote
-\tcode{Args\&\&...} respectively.
+\tcode{ArgTypes\&\&...} respectively.
 
 \rSec4[func.wrap.ref.ctor]{Constructors and assignment operators}
 
