| // 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); |