[func.wrap.ref.class] Use ArgTypes instead of Args

[hewillk]

Use ArgTypes instead of Args to match the current class signature.
Also, R (*thunk-ptr)(BoundEntityType, Args&&...) should be ArgTypes... since there is no Args....

[jwakely]

The first change (in the class synopsis) is required, that's a wording bug.

The other changes aren't strictly necessary, because we're talking about some class function_ref<R(Args...) cx noexcept(noex)> for some set of template arguments We're not referring to the same ArgTypes as declared in the template-head of the class synopsis. As long as the rest of the paragraph is consistent with the start of p1, it's fine.

But the change seems fine anyway, it certainly does no harm.

[tkoeppe]

I'd mildly prefer the simpler change in that case to only fix the thing that's broken. We don't need the additional verbosity.

[hewillk]

I'd mildly prefer the simpler change in that case to only fix the thing that's broken. We don't need the additional verbosity.

I don't think this is verbosity; I think it's an enhancement. Because it matches the exact signature of the function, which I did intentionally.

Other places in [func.wrap] named Args... are template parameters for constructing internal callable objects, not template parameters for operator().

The function, copyable_function, move_only_function, and function_ref all consistently use the template name ArgTypes....