aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorPaolo Carlini <paolo.carlini@oracle.com>2018-09-26 09:08:24 +0000
committerPaolo Carlini <paolo@gcc.gnu.org>2018-09-26 09:08:24 +0000
commit9464ed971f63a98ecbd07a4cdb69c1624a33b4db (patch)
tree03003f37e0cd7f4a0308569a3a8b65957ed5680a /gcc
parentf29cfc6b15aa015eb2ec0069633f6ed2a4cff195 (diff)
downloadgcc-9464ed971f63a98ecbd07a4cdb69c1624a33b4db.zip
gcc-9464ed971f63a98ecbd07a4cdb69c1624a33b4db.tar.gz
gcc-9464ed971f63a98ecbd07a4cdb69c1624a33b4db.tar.bz2
re PR c++/67656 ([concepts] matched variadics in expression constraint report as unmatched)
2018-09-26 Paolo Carlini <paolo.carlini@oracle.com> PR c++/67656 * g++.dg/concepts/pr67656.C: New. From-SVN: r264596
Diffstat (limited to 'gcc')
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/g++.dg/concepts/pr67656.C19
2 files changed, 24 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 60b23ba..531e2f1 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2018-09-26 Paolo Carlini <paolo.carlini@oracle.com>
+
+ PR c++/67656
+ * g++.dg/concepts/pr67656.C: New.
+
2018-09-26 Eric Botcazou <ebotcazou@adacore.com>
* g++.dg/other/vthunk1.C: Rename to...
diff --git a/gcc/testsuite/g++.dg/concepts/pr67656.C b/gcc/testsuite/g++.dg/concepts/pr67656.C
new file mode 100644
index 0000000..2f1030e
--- /dev/null
+++ b/gcc/testsuite/g++.dg/concepts/pr67656.C
@@ -0,0 +1,19 @@
+// { dg-do compile { target c++11 } }
+// { dg-additional-options "-fconcepts" }
+
+template<class... Xs>
+void consume(Xs&&...) {}
+
+template<class... Xs>
+ struct A {
+ template<class... Ys>
+ requires requires(Ys... ys) {
+ consume(Xs{ys}...);
+ }
+ A(Ys&&... ys) {
+ }
+};
+
+int main() {
+ A<int, long> a(55, 2);
+}