From 9464ed971f63a98ecbd07a4cdb69c1624a33b4db Mon Sep 17 00:00:00 2001
From: Paolo Carlini <paolo.carlini@oracle.com>
Date: Wed, 26 Sep 2018 09:08:24 +0000
Subject: [PATCH] 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
---
 gcc/testsuite/ChangeLog                 |  5 +++++
 gcc/testsuite/g++.dg/concepts/pr67656.C | 19 +++++++++++++++++++
 2 files changed, 24 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/concepts/pr67656.C

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 60b23ba33d3..531e2f15f3b 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 00000000000..2f1030e2232
--- /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);
+}
-- 
2.30.2