Date
2019-11-07.08:02:35
Message id
10774

Content

Proposed resolution:

This wording is relative to N4835.

  1. Modify [range.elements.view], class template elements_view synopsis, as indicated:

    namespace std::ranges {
      template<class T, size_t N>
      concept has-tuple-element = // exposition only
        requires(T t) {
          typename tuple_size<T>::type;
          requires N < tuple_size_v<T>;
          typename tuple_element_t<N, T>;
          { get<N>(t) } -> convertible_to<const tuple_element_t<N, T>&>;
        };
    […]
    }