[PATCH] PR c++/50852 - Revisit dependant template parameter

[Jason Merrill]

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.

Jason