mrdocs::dom::function_traits_convertible_to_value

template<class F>
concept function_traits_convertible_to_value = has_function_traits<F> &&
    has_function_traits_for_default_function_impl<F>;