| // { 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" } | |
| } |