c++: Template template parameter in constraint [PR95371]
authorJason Merrill <jason@redhat.com>
Fri, 29 May 2020 20:55:52 +0000 (16:55 -0400)
committerJason Merrill <jason@redhat.com>
Fri, 29 May 2020 22:16:54 +0000 (18:16 -0400)
commit2fb595f8348e164d2f06536ba98322616eeaeeb6
tree62f985a6ba84d868d4e1829dd6f69b38054c4840
parent33e23881aae0549572cc23a2520c5094a2ffede9
c++: Template template parameter in constraint [PR95371]

any_template_parm_r was assuming that the DECL_TEMPLATE_RESULT of a template
will have a suitable TEMPLATE_INFO from which we can look at the generic
arguments for that template.  But that wasn't true for a template template
parameter; this patch makes it so.

gcc/cp/ChangeLog:

PR c++/95371
* pt.c (process_template_parm): Set DECL_TEMPLATE_INFO
on the DECL_TEMPLATE_RESULT.

gcc/testsuite/ChangeLog:

PR c++/95371
* g++.dg/cpp2a/concepts-ttp1.C: New test.
gcc/cp/pt.c
gcc/testsuite/g++.dg/cpp2a/concepts-ttp1.C [new file with mode: 0644]