PR c++/42329 - deducing base template for template template arg
commit784c77ce8cac38defa95faf85144c8f02848dfdb
authorjason <jason@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 21 Dec 2016 19:38:50 +0000 (21 19:38 +0000)
committerjason <jason@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 21 Dec 2016 19:38:50 +0000 (21 19:38 +0000)
tree5bb7df18e3bd88d163ae4b054766c14df9428cea
parent1c3485c2f99feca2ed3b8e5377cd3ea9a6c73ac4
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@243870 138bc75d-0d04-0410-961f-82ee72b054a4
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]