<div dir="ltr">Great!<div><br></div><div>This your patch fixes problem described in PR12262, PR12699, PR12439, PR13817,</div><div>PR13272, PR14273, PR15112, PR15896 and in your test case, - no more assert</div><div>violation observed.</div>
<div><br></div><div class="gmail_extra"><br><div class="gmail_quote">2013/7/11 Richard Smith <span dir="ltr"><<a href="mailto:richard@metafoo.co.uk" target="_blank">richard@metafoo.co.uk</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
It might be cleaner to teach template argument deduction to add<br>
mappings from the unknown template parameters to themselves during its<br>
partial substitution, but in any case, there's no need to clone them.<br>
</blockquote></div><br>The root of the problem is that when a template is being instantiated, all template</div><div class="gmail_extra" style>parameters must already be mapped to proper arguments, even those undeduced yet.</div>
<div class="gmail_extra" style>It might be better for parameter pack to have some represenation also, but probably</div><div class="gmail_extra" style>its absence is not a problem.</div><div class="gmail_extra"><br clear="all">
<div><br></div>-- <br>Thanks,<br>--Serge<br>
</div></div>