diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index b0155a9c370adeed76965147d125afab612ea438..d87382dba75e963b39c23c1fbda3d60eb73bde66 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -23555,6 +23555,10 @@ unify (tree tparms, tree targs, tree parm, tree arg, int strict, return 1; arg = TYPE_TI_TEMPLATE (arg); + if (DECL_TEMPLATE_TEMPLATE_PARM_P (arg)) + /* If the template is a template template parameter, use the + TEMPLATE_TEMPLATE_PARM for matching. */ + arg = TREE_TYPE (arg); /* Fall through to deduce template name. */ } diff --git a/gcc/testsuite/g++.dg/template/ttp34.C b/gcc/testsuite/g++.dg/template/ttp34.C new file mode 100644 index 0000000000000000000000000000000000000000..67094063ba515787b630c33c7989c749cef7c719 --- /dev/null +++ b/gcc/testsuite/g++.dg/template/ttp34.C @@ -0,0 +1,14 @@ +// PR c++/67829 + +template<class> class Purr; + +template<template<class> class, class, class> +class Meow; + +template<template<class> class P> +class Meow<P, P<int>, int> { }; // 1 + +template<template<class> class P, class T> +class Meow<P, P<int>, T>; // 2 + +Meow<Purr, Purr<int>, int> kitty; diff --git a/gcc/testsuite/g++.dg/template/ttp34a.C b/gcc/testsuite/g++.dg/template/ttp34a.C new file mode 100644 index 0000000000000000000000000000000000000000..e3303dcf2125ca8f3b2410cd32b91d0d44c2c225 --- /dev/null +++ b/gcc/testsuite/g++.dg/template/ttp34a.C @@ -0,0 +1,14 @@ +// PR c++/67829 + +template<class> class Purr; + +template<template<class> class, class> +class Meow; + +template<template<class> class P> +class Meow<P, P<int> > { }; // 1 + +template<template<class> class P, class T> +class Meow<P, P<T> >; // 2 + +Meow<Purr, Purr<int> > kitty; diff --git a/gcc/testsuite/g++.dg/template/ttp34b.C b/gcc/testsuite/g++.dg/template/ttp34b.C new file mode 100644 index 0000000000000000000000000000000000000000..ed3b3e8ab059304db460f52c5c376ba7089f0928 --- /dev/null +++ b/gcc/testsuite/g++.dg/template/ttp34b.C @@ -0,0 +1,14 @@ +// PR c++/67829 + +template<class> class Purr; + +template<class, template<class> class> +class Meow; + +template<template<class> class P> +class Meow<P<int>, P> { }; // 1 + +template<template<class> class P, class T> +class Meow<P<T>, P>; // 2 + +Meow<Purr<int>, Purr> kitty;