libstdcxx/api/a13549.html

    template<typename _In>

    concept __indirectly_readable_impl = requires

      {

      typename iter_value_t<_In>;

      typename iter_reference_t<_In>;

      typename iter_rvalue_reference_t<_In>;

      requires same_as<iter_reference_t<const _In>,

                   iter_reference_t<_In>>;

      requires same_as<iter_rvalue_reference_t<const _In>,

                   iter_rvalue_reference_t<_In>>;

      }

      && common_reference_with<iter_reference_t<_In>&&, iter_value_t<_In>&>

      && common_reference_with<iter_reference_t<_In>&&,

                        iter_rvalue_reference_t<_In>&&>

      && common_reference_with<iter_rvalue_reference_t<_In>&&,

                         const iter_value_t<_In>&>

std::iter_reference_t
decltype(*std::declval< _Tp & >()) iter_reference_t
Definition iterator_concepts.h:98

std::iter_value_t
__detail::__iter_value_t< remove_cvref_t< _Tp > > iter_value_t
Definition iterator_concepts.h:312

std::iter_rvalue_reference_t
ranges::__imove::_IterMove::__type< _Tp & > iter_rvalue_reference_t
The result type of ranges::iter_move(std::declval<_Tp&>()).
Definition iterator_concepts.h:188

std::same_as
[concept.same], concept same_as
Definition concepts:65

std::common_reference_with
[concept.commonref], concept common_reference_with
Definition concepts:87

std::__detail::__indirectly_readable_impl
Definition iterator_concepts.h:544