]> git.ipfire.org Git - thirdparty/gcc.git/commit
c++: placeholder type constraint and argument pack [PR99815]
authorPatrick Palka <ppalka@redhat.com>
Wed, 31 Mar 2021 02:54:37 +0000 (22:54 -0400)
committerPatrick Palka <ppalka@redhat.com>
Wed, 31 Mar 2021 02:54:37 +0000 (22:54 -0400)
commit0bbf0edbfc782f8e4e416d5fbd1b52a515adb585
treeaeb995df7e895e1883c7959b486e5faf33d3f00b
parent08d2edae5d84209c0dcf327a13d4f6b4eacdb1ac
c++: placeholder type constraint and argument pack [PR99815]

When checking dependence of a placeholder type constraint, if the first
template argument of the constraint is an argument pack, we need to
expand it in order to properly separate the implicit 'auto' argument
from the rest.

gcc/cp/ChangeLog:

PR c++/99815
* pt.c (placeholder_type_constraint_dependent_p): Expand
argument packs to separate the first non-pack argument
from the rest.

gcc/testsuite/ChangeLog:

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