| 14 | |
| 15 | template <class F> |
| 16 | void check_traits( F ) |
| 17 | { |
| 18 | using namespace leaf::detail; |
| 19 | using leaf::leaf_detail_mp11::mp_list; |
| 20 | static_assert(function_traits<F>::arity == 4,"arity"); |
| 21 | static_assert(std::is_same<fn_return_type<F>,double>::value,"return_type"); |
| 22 | static_assert(std::is_same<fn_arg_type<F,0>,int>::value,"arg<0>"); |
| 23 | static_assert(std::is_same<fn_arg_type<F,1>,float>::value,"arg<1>"); |
| 24 | static_assert(std::is_same<fn_arg_type<F,2>,int const &>::value,"arg<2>"); |
| 25 | static_assert(std::is_same<fn_arg_type<F,3>,float &&>::value,"arg<3>"); |
| 26 | static_assert(std::is_same<fn_mp_args<F>,mp_list<int,float,int const &,float &&>>::value,"mp_args"); |
| 27 | } |
| 28 | |
| 29 | double f1( int, float, int const &, float && ) |
| 30 | { |