blob: 497154cd11fb031eeebb799cd62528fbab5652de (
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
25
|
// { dg-do compile { target c++17 } }
// { dg-options "-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;
}
|
