DIP 1023--Resolution of Template Alias Formal Parameters in Template Functions--Community Review Round 1

[Stefanos Baziotis]

On Monday, 30 September 2019 at 19:16:47 UTC, jmh530 wrote:
> On Wednesday, 11 September 2019 at 22:30:31 UTC, Stefanos 
> Baziotis wrote:
>> [snip]
>
> Another example of where something like what I had suggested 
> above with constrained aliases might be useful.
>

Thanks for the info. It happened that just yesterday I updated 
the DIP
and when Mike finds a slot, we'll either move to round 2 or final.
I believe that most of the problems discussed in this thread have 
been
solved by abstracting the terminology. I think it's better to not 
discuss
further here as a summary has already been written.
But please feel free to drop a comment on the new thread, when it 
is posted.

Best regards,
Stefanos