tuple_like Concept Reference

Concept definition

template<class T>
concept tuple_like =  !std::is_reference_v<T> 
  && requires(T t) {
      typename std::tuple_size<T>::type;
      requires std::derived_from<
        std::tuple_size<T>,
        std::integral_constant<std::size_t, std::tuple_size_v<T>>
      >;
    }
  && []<std::size_t... N>(std::index_sequence<N...>) {
    return (has_tuple_element<T, N> && ...);
  }(std::make_index_sequence<std::tuple_size_v<T>>())