Much simpler is_tuple_invocable_with_filtered implementation

cudax/include/cuda/experimental/__stf/internal/void_interface.cuh

@@ -152,34 +152,9 @@ public:
 /**
  * @brief Check if a function can be invoked using std::apply while eliding tuple arguments with a void_interface type.
  */
-template <typename Fun, typename Tuple>
-struct is_tuple_invocable_with_filtered
-{
-private:
-  using filtered_tuple_t = remove_void_interface_from_tuple_t<Tuple>;
-
-  template <typename F, typename T>
-  static auto test(int) -> ::std::bool_constant<reserved::is_tuple_invocable_v<F, T>>
-  {
-    return {};
-  }
-
-  template <typename F>
-  static auto test(...) -> ::std::false_type
-  {
-    return {};
-  }
-
-  template <::std::size_t... Idx>
-  static auto check(::std::index_sequence<Idx...>)
-  {
-    return test<Fun, ::std::tuple_element_t<Idx, filtered_tuple_t>...>(0);
-  }
-
-public:
-  static constexpr bool value =
-    decltype(check(::std::make_index_sequence<::std::tuple_size_v<filtered_tuple_t>>{}))::value;
-};
+template <typename F, typename Tuple>
+struct is_tuple_invocable_with_filtered : is_tuple_invocable<F, remove_void_interface_from_tuple_t<Tuple>>
+{};
 
 /**
  * @brief Strip tuple entries with a "void_interface" type