Replace nth_argument_of with argument_of

gcc-10.x, clang-12.x, is not handling variable arguments correctly.
As we need only one argument the helper was reduced to only one arg.

Author: filipsajdak

include/cpp2util.h

@@ -1175,20 +1175,20 @@ constexpr auto is( std::monostate const& ) -> std::true_type {
     return {};
 }
 
-template<std::size_t I, typename Ret, typename... Args>
-auto nth_argument_of_helper(Ret(*) (Args...)) -> std::tuple_element_t<I, std::tuple<Args...>>;
+template<typename Ret, typename Arg>
+auto argument_of_helper(Ret(*) (Arg)) -> Arg;
 
-template<std::size_t I, typename Ret, typename F, typename... Args>
-auto nth_argument_of_helper(Ret(F::*) (Args...)) -> std::tuple_element_t<I, std::tuple<Args...>>;
+template<typename Ret, typename F, typename Arg>
+auto argument_of_helper(Ret(F::*) (Arg)) -> Arg;
 
-template<std::size_t I, typename Ret, typename F, typename... Args>
-auto nth_argument_of_helper(Ret(F::*) (Args...) const) -> std::tuple_element_t<I, std::tuple<Args...>>;
+template<typename Ret, typename F, typename Arg>
+auto argument_of_helper(Ret(F::*) (Arg) const) -> Arg;
 
-template <std::size_t I, typename F>
-auto nth_argument_of_helper(F) -> CPP2_TYPEOF(nth_argument_of_helper<I>(&F::operator()));
+template <typename F>
+auto argument_of_helper(F) -> CPP2_TYPEOF(argument_of_helper(&F::operator()));
 
-template <std::size_t I, typename T>
-using nth_argument_of = CPP2_TYPEOF(nth_argument_of_helper<I>(std::declval<T>()));
+template <typename T>
+using argument_of = CPP2_TYPEOF(argument_of_helper(std::declval<T>()));
 
 //  Values
 //
@@ -1206,9 +1206,9 @@ inline constexpr auto is( auto const& x, auto const& value ) -> bool
     //  Predicate case
     else if constexpr ( requires{ {value(x)} -> boolean_testable; } ) {
         // defined argument type
-        if constexpr (requires { std::declval<nth_argument_of<0, CPP2_TYPEOF(value)>>(); }){
+        if constexpr (requires { std::declval<argument_of<CPP2_TYPEOF(value)>>(); }){
             // valid coversion of x to argument type
-            if constexpr ( requires { nth_argument_of<0, CPP2_TYPEOF(value)>{x}; }) {
+            if constexpr ( requires { argument_of<CPP2_TYPEOF(value)>{x}; }) {
                 return value(x); // function-like with valid coversion of argument
             }
             return false;        // function-like with invalid coversion of argument
@@ -1513,10 +1513,10 @@ constexpr auto is( std::optional<T> const& x, auto const& value ) -> bool
     //  Predicate case
     if constexpr ( requires{ {value(x)} -> boolean_testable; } ) {
         // defined argument type
-        if constexpr (requires { std::declval<nth_argument_of<0, CPP2_TYPEOF(value)>>(); }){
+        if constexpr (requires { std::declval<argument_of<CPP2_TYPEOF(value)>>(); }){
             // argument type is optional
-            if constexpr (requires{is<std::optional>(std::declval<nth_argument_of<0, CPP2_TYPEOF(value)>>());}) {
-                using value_type = typename nth_argument_of<0, CPP2_TYPEOF(value)>::value_type; // workaround for gcc-10
+            if constexpr (requires{is<std::optional>(std::declval<argument_of<CPP2_TYPEOF(value)>>());}) {
+                using value_type = typename argument_of<CPP2_TYPEOF(value)>::value_type; // workaround for gcc-10
                 // valid conversion of x::value_type to argument value_type
                 if constexpr ( requires { value_type{std::declval<T>()}; }) {
                     return value(x); // function-like with valid conversion of argument

regression-tests/test-results/apple-clang-14/pure2-as-cast-arithetic-types-bigger-to-smaller.cpp.output

@@ -1,5 +1,5 @@
 In file included from pure2-as-cast-arithetic-types-bigger-to-smaller.cpp:7:
-../../../include/cpp2util.h:1809:9: error: static_assert failed due to requirement 'program_violates_type_safety_guarantee<unsigned char, unsigned short &&>' "'as' does not allow unsafe narrowing conversions - if you're sure you want this, use `unsafe_narrow<T>()` to force the conversion"
+../../../include/cpp2util.h:1821:9: error: static_assert failed due to requirement 'program_violates_type_safety_guarantee<unsigned char, unsigned short &&>' "'as' does not allow unsafe narrowing conversions - if you're sure you want this, use `unsafe_narrow<T>()` to force the conversion"
         static_assert(
         ^
 pure2-as-cast-arithetic-types-bigger-to-smaller.cpp:19:19: note: in instantiation of function template specialization 'cpp2::as_<unsigned char, unsigned short>' requested here

regression-tests/test-results/apple-clang-14/pure2-as-cast-bigger-signed-to-smaller-unsigned.cpp.output

@@ -1,5 +1,5 @@
 In file included from pure2-as-cast-bigger-signed-to-smaller-unsigned.cpp:7:
-../../../include/cpp2util.h:1809:9: error: static_assert failed due to requirement 'program_violates_type_safety_guarantee<unsigned char, short &&>' "'as' does not allow unsafe narrowing conversions - if you're sure you want this, use `unsafe_narrow<T>()` to force the conversion"
+../../../include/cpp2util.h:1821:9: error: static_assert failed due to requirement 'program_violates_type_safety_guarantee<unsigned char, short &&>' "'as' does not allow unsafe narrowing conversions - if you're sure you want this, use `unsafe_narrow<T>()` to force the conversion"
         static_assert(
         ^
 pure2-as-cast-bigger-signed-to-smaller-unsigned.cpp:19:19: note: in instantiation of function template specialization 'cpp2::as_<unsigned char, short>' requested here

regression-tests/test-results/apple-clang-14/pure2-as-cast-class-to-unrelated-class.cpp.output

@@ -1,5 +1,5 @@
 In file included from pure2-as-cast-class-to-unrelated-class.cpp:7:
-../../../include/cpp2util.h:1815:9: error: static_assert failed due to requirement 'program_violates_type_safety_guarantee<A, B &&>' "No safe 'as' cast available - please check your cast"
+../../../include/cpp2util.h:1827:9: error: static_assert failed due to requirement 'program_violates_type_safety_guarantee<A, B &&>' "No safe 'as' cast available - please check your cast"
         static_assert(
         ^
 pure2-as-cast-class-to-unrelated-class.cpp2:12:19: note: in instantiation of function template specialization 'cpp2::as_<A, B>' requested here

regression-tests/test-results/apple-clang-14/pure2-as-cast-custom-class-to-string.cpp.output

@@ -1,5 +1,5 @@
 In file included from pure2-as-cast-custom-class-to-string.cpp:7:
-../../../include/cpp2util.h:1815:9: error: static_assert failed due to requirement 'program_violates_type_safety_guarantee<std::string, A &&>' "No safe 'as' cast available - please check your cast"
+../../../include/cpp2util.h:1827:9: error: static_assert failed due to requirement 'program_violates_type_safety_guarantee<std::string, A &&>' "No safe 'as' cast available - please check your cast"
         static_assert(
         ^
 pure2-as-cast-custom-class-to-string.cpp2:11:19: note: in instantiation of function template specialization 'cpp2::as_<std::string, A>' requested here

regression-tests/test-results/apple-clang-14/pure2-as-cast-double-to-int.cpp.output

@@ -1,5 +1,5 @@
 In file included from pure2-as-cast-double-to-int.cpp:7:
-../../../include/cpp2util.h:1809:9: error: static_assert failed due to requirement 'program_violates_type_safety_guarantee<int, double &&>' "'as' does not allow unsafe narrowing conversions - if you're sure you want this, use `unsafe_narrow<T>()` to force the conversion"
+../../../include/cpp2util.h:1821:9: error: static_assert failed due to requirement 'program_violates_type_safety_guarantee<int, double &&>' "'as' does not allow unsafe narrowing conversions - if you're sure you want this, use `unsafe_narrow<T>()` to force the conversion"
         static_assert(
         ^
 pure2-as-cast-double-to-int.cpp:19:19: note: in instantiation of function template specialization 'cpp2::as_<int, double>' requested here

regression-tests/test-results/apple-clang-14/pure2-as-cast-to-unrelated-type.cpp.output

@@ -1,5 +1,5 @@
 In file included from pure2-as-cast-to-unrelated-type.cpp:7:
-../../../include/cpp2util.h:1815:9: error: static_assert failed due to requirement 'program_violates_type_safety_guarantee<A, int &>' "No safe 'as' cast available - please check your cast"
+../../../include/cpp2util.h:1827:9: error: static_assert failed due to requirement 'program_violates_type_safety_guarantee<A, int &>' "No safe 'as' cast available - please check your cast"
         static_assert(
         ^
 pure2-as-cast-to-unrelated-type.cpp2:5:19: note: in instantiation of function template specialization 'cpp2::as_<A, int &>' requested here