aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPaolo Carlini <paolo.carlini@oracle.com>2018-09-26 09:23:00 +0000
committerPaolo Carlini <paolo@gcc.gnu.org>2018-09-26 09:23:00 +0000
commit3c010a2410189572541118dfa6d2c8ecb38d743e (patch)
tree309c9efe53b0bf2e661e50120afbc0d7d349cb98
parent1899cb68445dfc4726b17f3db81df0f2a41cb916 (diff)
downloadgcc-3c010a2410189572541118dfa6d2c8ecb38d743e.zip
gcc-3c010a2410189572541118dfa6d2c8ecb38d743e.tar.gz
gcc-3c010a2410189572541118dfa6d2c8ecb38d743e.tar.bz2
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
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/g++.dg/concepts/pr67655.C20
2 files changed, 25 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c96126c..903b8c7 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 0000000..b155421
--- /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);
+}