diff --git a/source/utilities.tex b/source/utilities.tex index 5087bc7290..8062f35319 100644 --- a/source/utilities.tex +++ b/source/utilities.tex @@ -14960,7 +14960,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 }; @@ -14976,15 +14976,15 @@ \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 -an unspecified trivially copyable type \exposid{BoundEntityType}, that +an unspecified trivially copyable type \linebreak{} \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 @@ -14995,7 +14995,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}