On Thu, Jan 10, 2013 at 9:22 AM, Dodji Seketeli <do...@redhat.com> wrote:
> But during the instantiation of the *members* of test<int>, we try to
> instantiate Alias<the_truth<int>>, without coercing (and thus without
> folding) the argument {the_truth<int>}. We do this using
> instantiate_alias_template, called from tsubst.
>
> The patch below makes sure instantiate_alias_template coerces the
> arguments it uses to instantiate the alias template, like what I
> understood you are suggesting. I have tested it without boostrap and a
> full boostrap is currently running.
Hmm, is it necessary to coerce all levels as opposed to just the
innermost arguments?
-- Gaby
