SFINAE是否依赖类型推断?

cppreference.com :

此规则在函数模板的重载解析期间适用:替换 推断类型 如果模板参数失败,则从重载集中丢弃专门化,而不是导致编译错误。

这是否意味着SFINAE没有类型推导就不能工作?例如,考虑以下代码:

template <typename T> std::true_type has_value_type_helper(typename T::value_type*);
template <typename> std::false_type has_value_type_helper(...);

template <typename T> inline constexpr bool has_value_type_v
   = decltype(has_value_type_helper<T>(nullptr))::value;

int main() {
   std::cout << has_value_type_v<int> << std::endl;
   std::cout << has_value_type_v<std::vector<int>> << std::endl;
}

它的工作如预期,但据我所知,没有类型扣除。模板参数在中显式提供 has_value_type_helper<T>(nullptr)