On Mon, Sep 17, 2012 at 10:39 PM, Jason Merrill <ja...@redhat.com> wrote: > The change to make SCOPE_REFs value-dependent revealed a bug in our handling > of alias-template instantiations; we weren't pushing into the context of the > alias before substituting the type, and then we were remembering the > previously instantiated one when instantiating in a different context. If > the difference in context makes a difference, for instance in access > control, this is broken. > > There are two possible ways to fix this: either push into the context of the > alias or don't remember instantiations. EDG takes the former approach, > clang the latter. I've raised the issue with the committee, but for the > moment I'm following the EDG approach. > > Tested x86_64-pc-linux-gnu, applying to trunk.
I endorse the EDG interpretation. -- Gaby
