From 8065cdebe190c663bdf4b57214a6644c177cbbf4 Mon Sep 17 00:00:00 2001 From: Steve Downey Date: Sat, 18 Jan 2025 18:31:07 -0500 Subject: [PATCH] [func.wrap.ref.class] Rename Args to ArgTypes 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, the name used for the template parameter. --- source/utilities.tex | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/source/utilities.tex b/source/utilities.tex index 688d827f86..12dc7c46a6 100644 --- a/source/utilities.tex +++ b/source/utilities.tex @@ -14385,7 +14385,7 @@ template 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,7 +14401,7 @@ \pnum An object of class -\tcode{function_ref} +\tcode{function_ref} stores a pointer to function \exposid{thunk-ptr} and an object \exposid{bound-entity}. \exposid{bound-entity} has @@ -14409,7 +14409,7 @@ 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}