--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-pr67225-1.C	Thu Feb 13 11:34:05 2020 +0900
@@ -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 "" }
+}