<div class="gmail_quote">On Sat, Jun 22, 2013 at 5:24 PM, anonymous <span dir="ltr"><<a href="mailto:anonymous@example.com" target="_blank">anonymous@example.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">On Sunday, 23 June 2013 at 00:18:23 UTC, Timothee Cour wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
On Sat, Jun 22, 2013 at 5:07 PM, anonymous <<a href="mailto:anonymous@example.com" target="_blank">anonymous@example.com</a>> wrote:<br>
</blockquote></div>
[...]<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

template getTemplate(alias T : TI!TP, alias TI, TP...)<br>
{<br>
alias getTemplate = TI;<br>
}<br>
<br>
</blockquote>
<br></div><div class="im">
did you test it? doesn't work for me:<br>
<br>
 auto fun(T)(T x){return x;}<br>
pragma(msg,__LINE__,":",<u></u>getTemplate!(fun!double));<br>
<br>
Error: template instance getTemplate!(fun) does not match template<br>
declaration getTemplate(alias T : TI!(TP), alias TI, TP...)<br>
</div></blockquote>
<br>
Oh, sorry. I had tested it with generic templates and assumed it would work with everything that's not a type. No ideas on how to make it work with function templates then.<br>
</blockquote></div><br><div><br></div><div>there's also this case:</div><div><div>template E8(T){</div><div><span class="Apple-tab-span" style="white-space:pre"> </span>struct B{}</div><div><span class="Apple-tab-span" style="white-space:pre">   </span>struct A{}</div>
<div>}</div></div><div><br></div><div><div>pragma(msg,__LINE__,":",getTemplate!(E8!(float))); => works with template getTemplate(alias T : TI!TP, alias TI, TP...) specialization</div></div><div><br></div><div>
<div>pragma(msg,__LINE__,":",getTemplate!(E8!(float).A)); =>  ??</div></div><div>how to make the 2nd work?</div><div><br></div><div>is there something like: </div><div>template getTemplate(alias T : TI!TP.TE, alias TI, alias TE, TP...) {...} </div>
<div>available ?</div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div>