<div dir="ltr">Your example `void c(int...)` mangles as `void c(int)`, and it's also callable only with a single int arg.<div>Under my DIP, `d` as you show will perform an identity map, which yields `void d(int)`, so the result is identical.</div><div>I explored for ambiguities to the extent of my imagination but I didn't find any. The is() expression was where I was most concerned about ambiguities.</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Oct 28, 2020 at 9:44 PM Manu <<a href="mailto:turkeyman@gmail.com">turkeyman@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div dir="ltr">On Wed, Oct 28, 2020 at 9:05 PM Jacob Carlborg via Digitalmars-d <<a href="mailto:digitalmars-d@puremagic.com" target="_blank">digitalmars-d@puremagic.com</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Tuesday, 27 October 2020 at 10:54:07 UTC, Mike Parker wrote:<br>
> This is the discussion thread for the first round of Community <br>
> Review of DIP 1037, "Add Unary Operator ...":<br>
><br>
> <a href="https://github.com/dlang/DIPs/blob/ba81eec84ddf0aeeb2cb652743b292455ec8c62a/DIPs/DIP1037.md" rel="noreferrer" target="_blank">https://github.com/dlang/DIPs/blob/ba81eec84ddf0aeeb2cb652743b292455ec8c62a/DIPs/DIP1037.md</a><br>
<br>
Is there a risk of causing some form of ambiguity with variadic <br>
functions? For example:<br>
<br>
void a(int[] a ...);<br>
void b(int[]...);<br>
void c(int...);<br>
<br>
alias A = AliasSeq!(int);<br>
void d(A...);<br>
<br>
I didn't know `c` was legal, but apparently it is (and therefor <br>
`d` as well).<br></blockquote><div><br></div><div>What does `c` mean?</div><div>Is it possible that c and d are identical things here, even with my DIP in place?</div></div></div>
</blockquote></div>