template <typename ...>
struct my_void {
using type = void;
}; // struct my_void

template <typename ...T>
using my_void_t = typename my_void<T...>::type;

// template <typename SFINAE, typename F, typename ...Args>
// struct my_invocable_impl : std::false_type…