Proposed disable mixed &-prvalue reference implementation.

huixie90 · Aug 12, 2023 · c97f7c5 · c97f7c5
1 parent e7c3476
commit c97f7c5
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/impl/concat/concat.hpp b/impl/concat/concat.hpp
@@ -34,12 +34,17 @@ using concat_rvalue_reference_t = common_reference_t<range_rvalue_reference_t<Rs
 template <class... Rs>
 using concat_value_t = common_type_t<range_value_t<Rs>...>;
 
+template <class ConcatRef, class EachRef>
+concept concat_no_prref = is_reference_v<ConcatRef> || 
+   (is_reference_v<EachRef> &&
+      !same_as<std::remove_reference_t<EachRef>, ConcatRef>);
+
 // clang-format off
 template <class Ref, class RRef, class It>
 concept concat_indirectly_readable_impl = requires (const It it){
     { *it } -> convertible_to<Ref>;
     { ranges::iter_move(it) } -> convertible_to<RRef>;
-};
+} && concat_no_prref<Ref, iter_reference_t<It>>;
 
 template <class... Rs>
 concept concat_indirectly_readable =