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