c++: reject concept w/ multiple tparm lists [PR105067]
authorPatrick Palka <ppalka@redhat.com>
Mon, 28 Mar 2022 18:15:39 +0000 (14:15 -0400)
committerPatrick Palka <ppalka@redhat.com>
Mon, 28 Mar 2022 18:15:39 +0000 (14:15 -0400)
commit23e57329c6516a81a8d3eb21b365ca8a0ec0c41b
tree46310c753fa863d290445f139c3e536e4594112a
parentecb4882e362e80a1bf172453ac9b366edbb4e89c
c++: reject concept w/ multiple tparm lists [PR105067]

We weren't rejecting a concept declared with multiple template
parameter lists.

PR c++/105067

gcc/cp/ChangeLog:

* pt.cc (finish_concept_definition): Check that a concept is
declared with exactly one template parameter list.

gcc/testsuite/ChangeLog:

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