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
/
req9.C
blob
c4d6b57ab659437dceb4b33837c8571c314b6015
1
// { dg-options "-std=c++17 -fconcepts" }
2
3
template<typename T>
4
struct S1 {};
5
6
template<typename T>
7
concept bool C() { return requires(T x) { { x.fn() } -> S1<T>; }; }
8
9
template<C U>
10
void fn(U x)
11
{
12
x.fn();
13
}
14
15
struct S2
16
{
17
auto fn() const { return S1<S2>(); }
18
};
19
20
int main()
21
{
22
fn(S2{});
23
return 0;
24
}