1438514385 template<class... T>
1438614386 static constexpr bool @\exposidnc {is-invocable-using}@ = @\seebelownc@ ; // \expos
1438714387
14388- R (*@\exposidnc {thunk-ptr}@)(@\exposidnc {BoundEntityType}@, Args &&...) noexcept(@\placeholdernc {noex}@); // \expos
14388+ R (*@\exposidnc {thunk-ptr}@)(@\exposidnc {BoundEntityType}@, ArgTypes &&...) noexcept(@\placeholdernc {noex}@); // \expos
1438914389 @\exposidnc {BoundEntityType}@ @\exposidnc {bound-entity}@; // \expos
1439014390 };
1439114391
@@ -14401,15 +14401,15 @@
1440114401
1440214402\pnum
1440314403An object of class
14404- \tcode {function_ref<R(Args ...) \cv {} noexcept(\placeholder {noex})>}
14404+ \tcode {function_ref<R(ArgTypes ...) \cv {} noexcept(\placeholder {noex})>}
1440514405stores a pointer to function \exposid {thunk-ptr} and
1440614406an object \exposid {bound-entity}.
1440714407\exposid {bound-entity} has
1440814408an unspecified trivially copyable type \exposid {BoundEntityType}, that
1440914409models \libconcept {copyable} and
1441014410is capable of storing a pointer to object value or a pointer to function value.
1441114411The type of \exposid {thunk-ptr} is
14412- \tcode {R(*)(\exposidnc {BoundEntityType}, Args \&\& ...) noexcept(\placeholder {noex})}.
14412+ \tcode {R(*)(\exposidnc {BoundEntityType}, ArgTypes \&\& ...) noexcept(\placeholder {noex})}.
1441314413
1441414414\pnum
1441514415Each specialization of \tcode {function_ref} is
1442014420Within \ref {func.wrap.ref },
1442114421\tcode {\placeholder {call-args}} is an argument pack with elements such that
1442214422\tcode {decltype((\placeholder {call-args}\linebreak {}))...} denote
14423- \tcode {Args \&\& ...} respectively.
14423+ \tcode {ArgTypes \&\& ...} respectively.
1442414424
1442514425\rSec 4[func.wrap.ref.ctor]{Constructors and assignment operators}
1442614426
0 commit comments