// PR c++/96960 | |
// { dg-do compile { target c++20 } } | |
template <class, class> concept C0 = true; | |
template <class T> | |
concept C = requires(T t) { | |
{ 42 } -> C0<char [([] { return 42; }())]>; | |
}; | |
static_assert(C<int>); | |
C0<char [([] { return 42; }())]> auto x = 42; | |
int f(C0<char [([] { return 42; }())]> auto x); | |
int y = f(42); |