diff --git a/libstdc++-v3/include/bits/utility.h b/libstdc++-v3/include/bits/utility.h index 8766dfbc15f1ff5f88e161c9315af7bfc8189b7c..ebcf5ba36b282efd73d3bf43216410d5ec704d27 100644 --- a/libstdc++-v3/include/bits/utility.h +++ b/libstdc++-v3/include/bits/utility.h @@ -166,6 +166,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 }