[PATCH] PR12262 - assertion when substituting explicit template arguments does not substitute a sizeof-pack expression.

[Serge Pavlov]

Great!

This your patch fixes problem described in PR12262, PR12699, PR12439,
PR13817,
PR13272, PR14273, PR15112, PR15896 and in your test case, - no more assert
violation observed.


2013/7/11 Richard Smith <richard at metafoo.co.uk>

> It might be cleaner to teach template argument deduction to add
> mappings from the unknown template parameters to themselves during its
> partial substitution, but in any case, there's no need to clone them.
>

The root of the problem is that when a template is being instantiated, all
template
parameters must already be mapped to proper arguments, even those undeduced
yet.
It might be better for parameter pack to have some represenation also, but
probably
its absence is not a problem.


-- 
Thanks,
--Serge
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20130711/640e9262/attachment.html>