[FEATURE] Support C++23 tuple APIs

[ldalessa]

A bunch of the std library language around tuple has changed, I think specifically to support std::tuple proxy value/reference types for std::views::zip. Many of these changes are in p2321.

I ran into this in this example of using a kumi::tie as a reference tuple type for an SoA iterator, and trying to use std::ranges::sort on the range. https://godbolt.org/z/9bYb1oM8z.

Currently the first compiler error I run into is the following common_reference failure, which I guess requires specializing basic_common_reference, however there could be more problems hidden behind this one.

/opt/compiler-explorer/clang-16.0.0/bin/../include/c++/v1/__type_traits/common_reference.h:113:1: note: because substituted constraint expression is ill-formed: no type named 'type' in 'std::common_reference<kumi::tuple<unsigned int &, unsigned char &, unsigned int &> &&, kumi::tuple<unsigned int, unsigned char, unsigned int> &>'
using common_reference_t = typename common_reference<_Types...>::type;
^
1 error generated.

edit: punctuation

[jfalcou]

This is the code to add :

namespace std
{
  template< kumi::product_type TTuple,kumi::product_type UTuple
          , template<class> class TQual, template<class> class UQual 
          , typename Indexer = std::make_index_sequence<kumi::size_v<TTuple>>
          >
  struct make_basic_common_ref;
  
  template< kumi::product_type TTuple,kumi::product_type UTuple
          , template<class> class TQual, template<class> class UQual 
          , std::size_t... I
          >
  struct make_basic_common_ref<TTuple,UTuple,TQual,UQual
                              , std::index_sequence<I...>
                              >
  {
    using type = kumi::tuple<std::common_reference_t< TQual<std::tuple_element_t<I,TTuple>>
                                                    , UQual<std::tuple_element_t<I,UTuple>>
                                                    >...
                            >;
  };


  template< kumi::product_type TTuple,kumi::product_type UTuple
          , template<class> class TQual, template<class> class UQual >
  requires( kumi::size_v<TTuple> == kumi::size_v<UTuple>)
  struct basic_common_reference<TTuple, UTuple, TQual, UQual>
  : make_basic_common_ref<TTuple,UTuple,TQual,UQual>
  {};
}

but looks like kumi::tuple constructor is not enough. Alas, I can't add it or I won't be aggregate anymore.
Will see how to do that