diff --git a/libstdc++-v3/include/bits/utility.h b/libstdc++-v3/include/bits/utility.h index d7385ed72fdec71f9772435f59430ee6ba15177c..4d230e5e37255280639844df6a66a5c3fbfc623d 100644 --- a/libstdc++-v3/include/bits/utility.h +++ b/libstdc++-v3/include/bits/utility.h @@ -163,6 +163,9 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION template<typename _Tp, _Tp... _Idx> struct integer_sequence { +#if __cplusplus >= 202002L + static_assert(is_integral_v<_Tp>); +#endif typedef _Tp value_type; static constexpr size_t size() noexcept { return sizeof...(_Idx); } }; diff --git a/libstdc++-v3/testsuite/20_util/integer_sequence/112473.cc b/libstdc++-v3/testsuite/20_util/integer_sequence/112473.cc new file mode 100644 index 0000000000000000000000000000000000000000..14abfbc8149da854ed67a396dc0efe9898c00d32 --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/integer_sequence/112473.cc @@ -0,0 +1,8 @@ +// { dg-do compile { target c++20 } } + +// PR libstdc++/112473 - integer_sequence accepts non-integer types + +#include <utility> + +std::integer_sequence<std::pair<int, int>, std::pair<int, int>{0, 0}> ic; +// { dg-error "static assertion failed" "" { target *-*-* } 0 }