PR c++/42329 - deducing base template for template template arg
authorJason Merrill <jason@redhat.com>
Wed, 21 Dec 2016 19:38:50 +0000 (14:38 -0500)
committerJason Merrill <jason@gcc.gnu.org>
Wed, 21 Dec 2016 19:38:50 +0000 (14:38 -0500)
commit3c75aaa3d884ef2cb1dfed57bb3c2a392ece89d5
tree5bb7df18e3bd88d163ae4b054766c14df9428cea
parent57a6add274e98def9fe937eea126c56a71e65c28
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.

From-SVN: r243870
gcc/cp/ChangeLog
gcc/cp/pt.c
gcc/testsuite/g++.dg/cpp0x/alias-decl-2.C
gcc/testsuite/g++.dg/cpp0x/variadic-ttp6.C [new file with mode: 0644]
gcc/testsuite/g++.dg/template/ttp-derived1.C [new file with mode: 0644]
gcc/testsuite/g++.dg/template/ttp-derived2.C [new file with mode: 0644]