alias_template.cu

#include <type_traits>
#include <utility>

template<typename F, typename A>
std::true_type test(int bla);

template<typename F, typename A>
std::false_type test(...);

template<typename F, typename A>
struct testStruct
{
    using type = decltype(test<F, A>(1));
};

template<typename F, typename A>
using tester = typename testStruct<F, A>::type;

template<typename X, typename Y>
typename
std::enable_if<     
                    // now working!
                    tester<X, Y>::value,
                    Y>::type foo()
{
    return 0;
}

int main()
{
    return 0;
}