I dun a DIP, possibly the best DIP ever

[Simen Kjærås]

On Friday, 24 April 2020 at 00:16:52 UTC, Manu wrote:
> On a slightly unrelated note; there's a really interesting idea 
> up-thread
> about making nested `...` not be expanded by the outer `...`
> For instance:
>
>   template T(A, B...) { ... }
>   T!(Tup1, Tup2...)...

I'm wondering if perhaps that's the wrong way around - AliasSeq 
already does that:

     T!(Tup1, AliasSeq!Tup2)... // Should only expand Tup1

It might be that the more useful behavior is for ...-tuples to be 
expandable:

     T!(AliasSeq!(int, char)..., AliasSeq!Tup2)... // Should 
expand to T!(int, Tup2), T!(char, Tup2)

--
   Simen