为什么hana的is_valid_t SFINAE测试使用std :: declval <F &&>()不使用std :: declval <F>()？

Question

这是hana is_void impl代码:

 namespace type_detail {
        template <typename F, typename ...Args, typename = decltype(
            std::declval<F&&>()(std::declval<Args&&>()...)
        )>
        constexpr auto is_valid_impl(int) { return hana::true_c; }

        template <typename F, typename ...Args>
        constexpr auto is_valid_impl(...) { return hana::false_c; }

        template <typename F>
        struct is_valid_fun {
            template <typename ...Args>
            constexpr auto operator()(Args&& ...) const
            { return is_valid_impl<F, Args&&...>(int{}); }
        };
    }

    //! @cond
    template <typename F>
    constexpr auto is_valid_t::operator()(F&&) const
    { return type_detail::is_valid_fun<F&&>{}; }

因为is_void_t接受F &&,type_detail::is_valid_fun<F&&>然后is_valid_fun的模板arg是F &&,那么is_valid_impl的模板arg是F &&

...所以为什么std::declval<F&&>()(std::declval<Args&&>()...)不使用std::declval<F>()(std::declval<Args>()...)？