--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/g++.dg/concepts/expression3.C	Fri Oct 27 22:46:09 2017 +0900
@@ -0,0 +1,23 @@
+// { dg-options "-std=c++17 -fconcepts" }
+
+template<typename T>
+concept bool C()
+{
+  return requires (T& t) { t.~T(); };
+}
+
+class S1
+{
+  ~S1() { }
+};
+
+class S2
+{
+  ~S2() = delete;
+};
+
+int main()
+{
+  static_assert(C<S1>(), ""); // { dg-error "failed" }
+  static_assert(C<S2>(), ""); // { dg-error "failed" }
+}