| // PR c++/103408 |
| // { dg-do compile { target c++23 } } |
| |
| static_assert(requires { auto(0); }); |
| static_assert(requires { auto{0}; }); |
| |
| static_assert(requires { auto(auto(0)); }); |
| static_assert(requires { auto{auto{0}}; }); |
| |
| static_assert(requires { auto(auto(auto(0))); }); |
| static_assert(requires { auto{auto{auto{0}}}; }); |
| |
| static_assert(requires { requires auto(true); }); |
| static_assert(requires { requires auto(auto(true)); }); |
| |
| static_assert(!requires { requires auto(false); }); |
| static_assert(!requires { requires auto(auto(false)); }); |
| |
| auto f() requires (auto(false)); // { dg-error "constraints on a non-templated" } |