https://gcc.gnu.org/bugzilla/show_bug.cgi?id=42329
--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> --- Author: jason Date: Wed Dec 21 19:38:50 2016 New Revision: 243870 URL: https://gcc.gnu.org/viewcvs?rev=243870&root=gcc&view=rev Log: PR c++/42329 - deducing base template for template template arg * pt.c (unify_bound_ttp_args): Split out from unify. (try_class_unification): Handle BOUND_TEMPLATE_TEMPLATE_PARM. (unify): Check for type/non-type mismatch early. [BOUND_TEMPLATE_TEMPLATE_PARM]: Try get_template_base. Added: trunk/gcc/testsuite/g++.dg/cpp0x/variadic-ttp6.C trunk/gcc/testsuite/g++.dg/template/ttp-derived1.C trunk/gcc/testsuite/g++.dg/template/ttp-derived2.C Modified: trunk/gcc/cp/ChangeLog trunk/gcc/cp/pt.c trunk/gcc/testsuite/g++.dg/cpp0x/alias-decl-2.C