repo.or.cz
/
official-gcc.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
* auto-profile.c (afdo_annotate_cfg): Use update_max_bb_count.
[official-gcc.git]
/
gcc
/
testsuite
/
g++.dg
/
concepts
/
expression3.C
blob
4148aa6511e3f125f5ba3ce031c12e75c27c2066
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
}