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++ PATCH] Deprecate -ffriend-injection
[official-gcc.git]
/
gcc
/
testsuite
/
g++.dg
/
concepts
/
pr65634.C
blob
db36a6be29f6c5c203c992a010a16cd4bc335449
1
// { dg-options "-std=c++17 -fconcepts" }
2
3
template<typename T>
4
concept bool C1() {
5
return requires () {
6
{ T::smf() } noexcept;
7
};
8
}
9
struct M1 {
10
static void smf() noexcept;
11
};
12
template<typename T>
13
concept bool C2() {
14
return C1<typename T::type>();
15
}
16
struct M2 {
17
using type = M1;
18
};
19
static_assert(C2<M2>(), "");