On 29/04/2023 06.43, Anoop Rana via Std-Proposals wrote:
> Attached is the proposal to allow multiple template parameter packs for class templates provided they can be deduced using CTAD.
The "before - after" comparison should not just show "invalid";
it should show for "before" the workaround that you need to take
today to achieve the same result. I guess passing around several
tuples might work today.
Also why isn't it sufficient to do this:
template <typename F, typename... Args>
template <typename... Param, typename Ret, typename... Args>
struct C<Ret(*)(Param...), Args...>
C(Ret (*ptrFunc)(const Param&... param), const Args&... args);
Which is valid today?