SFINAE works differently in cases of type and non-type template parameters

Question

Why does this code work:

template<
    typename T, 
    std::enable_if_t::value, T>* = nullptr>
void Add(T) {}

templa         


        

Answer 1

SFINAE does not spread to default values for either types nor values. Only types of function arguments and result are used in this technique.