blob: 5eec87b3c0bb501587052bca28dba2120aec1de0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
// PR c++/67007
// { dg-options "-std=c++17 -fconcepts" }
template <class U>
concept bool A =
requires (U u) { u; };
template <class T>
concept bool B =
requires (T t) { { t } -> A; };
void foo(B);
|