> I can kinda see some use cases for this, but I think the current syntax
> is a bit confusing and not so easy to reason about.
> And since it is fairly easy to get around this sorts of limitation by
using wrappers
> for the separate packs, you must provide a syntax and usage that is so
much
> simpler that it is worth the effort (for both compilermakers and
developers
> using the feature to learn it).

Thank you Robin.

Ok, I see a possibility in your words that someone might consider it
valuable.
Posts here are to filter out ideas for which strong motivations exist to
stop.

I will then collect more structured considerations on this floating idea
and present asap, including the comparison with the current workarounds.

Hope you may provide any initial comment also on the extended delete
in template-ids to limit the set of overloading template functions that
may match.

e.g., exploiting also the extended use of 'auto' :
func<auto, delete> : only templates with 1 parameter may match
func<auto[5]> : only templates with at least 5 parameters may match
(unfortunately, no possible 'at most' without further extensions).
An alternative with constraints on sizeof... is only possible
for parameter packs of the same template.
I will compare also these ones with alternatives using wrappers.