blob: 1ae0426264ccdcafc474bcf477c86bbe8c2110fd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
// 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" }
|
