Proposed resolution:
This wording is relative to N4830.
Modify [range.join.view], class template join_view synopsis, as indicated:
[Drafting note: Changing the join_view<V>::inner_ member to be mutable is safe because this exposition-only member is only used when the join_view is single-pass and only modified by operations that invalidate other iterators]
namespace std::ranges { template<input_range V> requires view<V> && input_range<range_reference_t<V>>> && (is_reference_v<range_reference_t<V>> || view<range_value_t<V>>) class join_view : public view_interface<join_view<V>> { private: […] V base_ = V(); // exposition only mutable all_view<InnerRng> inner_ = // exposition only, present only when // !is_reference_v<InnerRng> all_view<InnerRng>(); public: […] }; }