Re: C++ PATCH for c++/54575 (ICE with alias template)

2012-09-17 Thread Gabriel Dos Reis
On Mon, Sep 17, 2012 at 10:39 PM, Jason Merrill 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 i

C++ PATCH for c++/54575 (ICE with alias template)

2012-09-17 Thread Jason Merrill
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.