From 52d4ed1d96d48e2ceafc89a8734e14de3d5de3fe Mon Sep 17 00:00:00 2001
From: Patrick Palka <ppalka@redhat.com>
Date: Tue, 14 Apr 2020 15:02:22 -0400
Subject: [PATCH] c++: Add testcase for PR c++/93207

gcc/testsuite/ChangeLog:

	PR c++/93207
	* g++.dg/concepts/variadic5.C: New test.
---
 gcc/testsuite/ChangeLog                   |  3 +++
 gcc/testsuite/g++.dg/concepts/variadic5.C | 26 +++++++++++++++++++++++
 2 files changed, 29 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/concepts/variadic5.C

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index cb4b23c0b76..c663b25e13c 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 00000000000..a871079e5de
--- /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>();
+}
-- 
2.30.2