| // { dg-do compile { target c++26 } } | |
| #include <utility> | |
| #include <type_traits> | |
| template<auto N> | |
| void test() | |
| { | |
| constexpr auto [id0, ...ids] = std::_IotaArray<N>; | |
| static_assert( std::is_same_v<decltype(id0), const decltype(N)> ); | |
| static_assert( sizeof...(ids) == N - 1 ); | |
| static_assert( (id0 + ... + ids) == N*(N-1)/2 ); | |
| } | |
| int main() | |
| { | |
| test<1>(); | |
| test<4u>(); | |
| test<8ull>(); | |
| } |