1 files changed, 32 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-pr67225-1.C b/gcc/testsuite/g++.dg/cpp2a/concepts-pr67225-1.C
new file mode 100644
index 00000000000..1c5d73a33d0
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-pr67225-1.C
@@ -0,0 +1,32 @@
+// PR c++/67225
+// { dg-do compile { target c++2a } }
+// { dg-additional-options "-fconcepts-ts" }
+
+template <class T, class U> 
+concept bool Same() 
+{
+    return true;
+}
+
+template <class T> struct WrapT {T t;};
+
+template <class T>
+concept bool Destructible()
+{
+    return requires(T t, const T ct, WrapT<T>& wt) // { dg-message "in requirements" }
+    {
+        {wt.~WrapT()} noexcept;
+        // {&t} -> Same<T*>; // #1
+        //{&t} -> T*; // #2
+    };
+}
+
+template <Destructible T>
+void f() {}
+
+struct Y {private: ~Y();};
+
+int main()
+{
+    f<Y>(); // { dg-error "cannot call" }
+}