c++: Add testcase for PR c++/93207

gcc/testsuite/ChangeLog:

	PR c++/93207
	* g++.dg/concepts/variadic5.C: New test.

2 files changed, 29 insertions, 0 deletions

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index cb4b23c..c663b25 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,8 @@
 2020-04-14  Patrick Palka  <ppalka@redhat.com>
 
+	PR c++/93207
+	* g++.dg/concepts/variadic5.C: New test.
+
 	PR c++/85278
 	* g++.dg/concepts/diagnostic9.C: New test.
 
diff --git a/gcc/testsuite/g++.dg/concepts/variadic5.C b/gcc/testsuite/g++.dg/concepts/variadic5.C
new file mode 100644
index 0000000..a871079
--- /dev/null
+++ b/gcc/testsuite/g++.dg/concepts/variadic5.C
@@ -0,0 +1,26 @@
+// PR c++/93207
+// { dg-do compile { target concepts } }
+
+template <typename... Args>
+concept C = true;
+
+struct S
+{
+    template <typename... Args>
+    void f()
+    requires C<Args...>;
+};
+
+template <typename... Args>
+void S::f()
+requires C<Args...>
+{
+}
+
+void foo()
+{
+  S s;
+  s.f<>();
+  s.f<int>();
+  s.f<int, char>();
+}