| // { dg-do compile { target c++17_only } } | |
| // { dg-options "-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" } | |
| } |