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
c++: robustify testcase [PR109752]
[official-gcc.git]
/
gcc
/
testsuite
/
g++.dg
/
cpp2a
/
concepts-complete4.C
blob
988b0ddcfdd9886e01f9a092c1e5a192ddb9cf9a
1
// PR c++/109752
2
// { dg-do compile { target c++20 } }
3
4
template<class T>
5
concept C = requires { sizeof(T); } && T::value; // { dg-error "changed from" }
6
7
struct A;
8
9
static_assert(!C<A>);
10
11
struct A { static constexpr bool value = false; };
12
13
static_assert(C<A>); // { dg-error "assert" }