gcc/testsuite/g++.dg/concepts/expression3.C

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 template<typename T>
   4 concept bool C()
   5 {
   6   return requires (T& t) { t.~T(); };
   7 }
   8
   9 class S1
  10 {
  11   ~S1() { }
  12 };
  13
  14 class S2
  15 {
  16   ~S2() = delete;
  17 };
  18
  19 int main()
  20 {
  21   static_assert(C<S1>(), ""); // { dg-error "failed" }
  22   static_assert(C<S2>(), ""); // { dg-error "failed" }
  23 }