From: Marek Polacek <polacek@redhat.com>
Date: Fri, 14 Feb 2025 20:50:09 +0000 (-0500)
Subject: c++: add fixed test [PR70037]
X-Git-Tag: basepoints/gcc-16~2017
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=9fd4e414830bb84b1cf1a7df4945d26c078729c9;p=thirdparty%2Fgcc.git

c++: add fixed test [PR70037]

Fixed by r11-735 + r11-2417.

	PR c++/70037

gcc/testsuite/ChangeLog:

	* g++.dg/cpp2a/concepts-pr70037.C: New test.
---

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-pr70037.C b/gcc/testsuite/g++.dg/cpp2a/concepts-pr70037.C
new file mode 100644
index 00000000000..7382764ea01
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-pr70037.C
@@ -0,0 +1,18 @@
+// PR c++/70037
+// { dg-do compile { target c++20 } }
+
+namespace std {
+  template<typename>
+  struct F {
+    static constexpr bool value = false;
+  };
+
+  template<typename T>
+  struct tuple {
+    constexpr tuple() requires (F<T>::value)  {}
+    explicit constexpr tuple() requires (F<T>::value) && (true) {}
+  };
+}
+
+using std::tuple;
+template struct std::tuple<tuple<int>>;