diff options
author | Patrick Palka <ppalka@redhat.com> | 2023-03-14 19:06:33 -0400 |
---|---|---|
committer | Patrick Palka <ppalka@redhat.com> | 2023-03-14 19:06:33 -0400 |
commit | 578f633ddabd62b41beed635697c95ee2aaa39c0 (patch) | |
tree | 08054b354baf4975127b28d0bc6117ad5e184c71 | |
parent | 9e44a9932c11f028269f3aa7e3031e703d151b0b (diff) | |
download | gcc-578f633ddabd62b41beed635697c95ee2aaa39c0.zip gcc-578f633ddabd62b41beed635697c95ee2aaa39c0.tar.gz gcc-578f633ddabd62b41beed635697c95ee2aaa39c0.tar.bz2 |
libstdc++: Fix template-head of repeat_view::_Iterator [PR109111]
PR libstdc++/109111
libstdc++-v3/ChangeLog:
* include/std/ranges (repeat_view): Remove redundant parentheses
in requires-clause.
(repeat_view::_Iterator): Correct the requires-clause.
-rw-r--r-- | libstdc++-v3/include/std/ranges | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/libstdc++-v3/include/std/ranges b/libstdc++-v3/include/std/ranges index 0725e70..b230ebe 100644 --- a/libstdc++-v3/include/std/ranges +++ b/libstdc++-v3/include/std/ranges @@ -7407,8 +7407,8 @@ namespace views::__adaptor #define __cpp_lib_ranges_repeat 202207L template<copy_constructible _Tp, semiregular _Bound = unreachable_sentinel_t> - requires (is_object_v<_Tp> && same_as<_Tp, remove_cv_t<_Tp>> - && (__detail::__is_integer_like<_Bound> || same_as<_Bound, unreachable_sentinel_t>)) + requires is_object_v<_Tp> && same_as<_Tp, remove_cv_t<_Tp>> + && (__detail::__is_integer_like<_Bound> || same_as<_Bound, unreachable_sentinel_t>) class repeat_view : public view_interface<repeat_view<_Tp, _Bound>> { __detail::__box<_Tp> _M_value; @@ -7472,7 +7472,8 @@ namespace views::__adaptor repeat_view(_Tp, _Bound) -> repeat_view<_Tp, _Bound>; template<copy_constructible _Tp, semiregular _Bound> - requires __detail::__is_integer_like<_Bound> || same_as<_Bound, unreachable_sentinel_t> + requires is_object_v<_Tp> && same_as<_Tp, remove_cv_t<_Tp>> + && (__detail::__is_integer_like<_Bound> || same_as<_Bound, unreachable_sentinel_t>) class repeat_view<_Tp, _Bound>::_Iterator { using __index_type |