Hi, testcase committed to mainline, I'm closing the PR as fixed.
Thanks, Paolo. ////////////////////
2013-05-16 Paolo Carlini <paolo.carl...@oracle.com> PR c++/17410 * g++.dg/template/pr17410.C: New.
Index: g++.dg/template/pr17410.C =================================================================== --- g++.dg/template/pr17410.C (revision 0) +++ g++.dg/template/pr17410.C (working copy) @@ -0,0 +1,17 @@ +// PR c++/17410 + +template <class> +struct Outer { + template <class> struct Inner {}; +}; + +template <class T> +struct A; + +template <template <class> class Q, class P> +struct A <Q<P> > {}; + +template <class T> struct UNRELATED; +template <class T> struct UNRELATED<Outer<void>::Inner<T*> >; + +template struct A<Outer<void>::Inner<int*> >;