On 03/08/2012 08:21 AM, Dodji Seketeli wrote:
[Handle fix-up for level-reduced a template parameter pack]
In the partial instantiation of the member template A<int>::f, the
level of the parameter pack Us is NOT reduced, even if it ought to be
considered as morally reduced.
The level of the parameter is reduced, right? It's just that we don't
do any substitution of the pattern of the pack expansion, so we still
have the unreduced version of the parameter there.
I don't think we need morally reduced parameters.