1496014960    template<class... T>
1496114961      static constexpr bool @\exposidnc {is-invocable-using}@ = @\seebelownc@ ;     // \expos 
1496214962
14963-     R (*@\exposidnc {thunk-ptr}@)(@\exposidnc {BoundEntityType}@, Args &&...) noexcept(@\placeholdernc {noex}@);  // \expos 
14963+     R (*@\exposidnc {thunk-ptr}@)(@\exposidnc {BoundEntityType}@, ArgTypes &&...) noexcept(@\placeholdernc {noex}@);  // \expos 
1496414964    @\exposidnc {BoundEntityType}@ @\exposidnc {bound-entity}@;                               // \expos 
1496514965  };
1496614966
@@ -14976,15 +14976,15 @@
1497614976
1497714977\pnum 
1497814978An object of class
14979- \tcode {function_ref<R(Args ...) \cv {} noexcept(\placeholder {noex})>}
14979+ \tcode {function_ref<R(ArgTypes ...) \cv {} noexcept(\placeholder {noex})>}
1498014980stores a pointer to function \exposid {thunk-ptr} and
1498114981an object \exposid {bound-entity}.
1498214982\exposid {bound-entity} has
1498314983an unspecified trivially copyable type \exposid {BoundEntityType}, that
1498414984models \libconcept {copyable} and
1498514985is capable of storing a pointer to object value or a pointer to function value.
1498614986The type of \exposid {thunk-ptr} is
14987- \tcode {R(*)(\exposidnc {BoundEntityType}, Args \&\& ...) noexcept(\placeholder {noex})}.
14987+ \tcode {R(*)(\exposidnc {BoundEntityType}, ArgTypes \&\& ...) noexcept(\placeholder {noex})}.
1498814988
1498914989\pnum 
1499014990Each specialization of \tcode {function_ref} is
1499514995Within \ref {func.wrap.ref },
1499614996\tcode {\placeholder {call-args}} is an argument pack with elements such that
1499714997\tcode {decltype((\placeholder {call-args}\linebreak {}))...} denote
14998- \tcode {Args \&\& ...} respectively.
14998+ \tcode {ArgTypes \&\& ...} respectively.
1499914999
1500015000\rSec 4[func.wrap.ref.ctor]{Constructors and assignment operators}
1500115001
0 commit comments