From: Paolo Carlini <paolo.carlini@oracle.com>
Date: Wed, 26 Sep 2018 09:23:00 +0000 (+0000)
Subject: re PR c++/67655 ([concepts] expression constraints and variadic expansions)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3c010a2410189572541118dfa6d2c8ecb38d743e;p=gcc.git

re PR c++/67655 ([concepts] expression constraints and variadic expansions)

2018-09-26  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/67655
	* g++.dg/concepts/pr67655.C: New.

From-SVN: r264638
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c96126cb14e..903b8c7d0cd 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2018-09-26  Paolo Carlini  <paolo.carlini@oracle.com>
+
+	PR c++/67655
+	* g++.dg/concepts/pr67655.C: New.
+
 2018-09-26  Thomas Quinot  <quinot@adacore.com>
 
 	* gnat.dg/sso13.adb: New testcase.
diff --git a/gcc/testsuite/g++.dg/concepts/pr67655.C b/gcc/testsuite/g++.dg/concepts/pr67655.C
new file mode 100644
index 00000000000..b1554218aad
--- /dev/null
+++ b/gcc/testsuite/g++.dg/concepts/pr67655.C
@@ -0,0 +1,20 @@
+// { 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) {
+  }
+  A(int) {}
+};
+
+int main() {
+  A<int, double> a(55);
+}