<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On 24 July 2014 22:15, Daniel Murphy via Digitalmars-d <span dir="ltr"><<a href="mailto:digitalmars-d@puremagic.com" target="_blank">digitalmars-d@puremagic.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">"Manu via Digitalmars-d" <<a href="mailto:digitalmars-d@puremagic.com" target="_blank">digitalmars-d@puremagic.com</a>> wrote in message news:mailman.274.1406201953.<u></u>32463.digitalmars-d@puremagic.<u></u>com...<div class="">
<br>
<br>
Is it possible for templates or types to both appear in the same context and create an actual ambiguity? What would that expression look like?<br>
<br></div>
alias X = T!U;<br>
<br>
What is U?  Did you mean to pass the template or the type? <br>
</blockquote></div><br></div><div class="gmail_extra">I didn't specify, and I don't think this code requires that I do.</div><div class="gmail_extra"><br></div><div class="gmail_extra">T will resolve this situation naturally.</div>
<div class="gmail_extra">Is it 'template T(X)'? Obviously the type.</div><div class="gmail_extra">Is it 'template T(alias X)'? this could be the type or the template, but since the template is more inclusive, it should be that. Within T's definition, if T is passed as the template, then the opportunity is retained to go either way as is necessary when the context becomes explicit.</div>
<div class="gmail_extra">I actually think it works quite elegantly. What have I missed?</div></div>