1 2 3 4 5 6 7 8 9 10 11 12 13
// { dg-do compile { target c++20 } } template<class T> bool f(T x) { return requires(T x) { ++x; }; } int main() { f(3); return 0; }