<div dir="ltr">On 6 July 2013 18:45, monarch_dodra <span dir="ltr"><<a href="mailto:monarchdodra@gmail.com" target="_blank">monarchdodra@gmail.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div class="im">On Saturday, 6 July 2013 at 08:42:45 UTC, monarch_dodra wrote:<br>

</div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div class="im">
On Saturday, 6 July 2013 at 01:35:09 UTC, Manu wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
Okay, so I feel like this should be possible, but I can't make it work...<br>
I want to use template deduction to deduce the argument type, but I want<br>
the function arg to be Unqual!T of the deduced type, rather than the<br>
verbatim type of the argument given.<br>
</blockquote></div>
You could just forward to an implementation template, passing explicitly the arguments.<br>
</blockquote>
<br>
Hum.. just realized you explicitly wanted to do this via template deduction. I'm not sure then :/ Sorry. Hope my workaround will be useful for you? Chances are you probably already had it worked out.<br>
</blockquote></div><br></div><div class="gmail_extra" style>Nope, still have no good idea of my own. My first 2 impulses were the best shot I had, but they didn't work.</div><div class="gmail_extra" style><br></div><div class="gmail_extra" style>
Forwarding to an Impl template doesn't really address my problem. I still end out with bucket loads of instantiations, and double-call performance will really suffer in debug builds, which might be okay if these were big functions, but they're many trivial functions, so the cost is very high.</div>
<div class="gmail_extra" style><br></div><div class="gmail_extra" style>I'm getting the distinct feeling that what I want is not actually possible. Which I have to say, is rather surprising.</div></div>