This is the mail archive of the
mailing list for the GCC project.
Re: [Patch] PR c++/42824
On 02/12/2010 06:29 PM, Dodji Seketeli wrote:
If I do what you suggest, at #1, S<T>::M<U*> is considered to be an
explicit specialization of M with S<T> being an implicit instantiation
of S, because context != DECL_CONTEXT (gen_tmpl) is verified as the
lookup of S<T> produces a type.
Ah, I suppose the parameter compares equal, but isn't actually the same
parameter. How about
&& !same_type_p (context, DECL_CONTEXT (gen_tmpl))