fork download

#include <iostream>
 
template <typename X, typename Y = typename X::template rebind<int>>
struct has_rebind : std::false_type {};
 
template <typename X>
struct has_rebind<X, typename X::template rebind<int>> : std::true_type {};
 
struct A { };
struct B { template <typename > struct rebind { }; };
 
int main() {
    std::cout << has_rebind<A>::value << std::endl;
    std::cout << has_rebind<B>::value << std::endl;
}

prog.cpp: In function 'int main()':
prog.cpp:13:30: error: no class template named 'rebind' in 'struct A'
     std::cout << has_rebind<A>::value << std::endl;
                              ^
prog.cpp:13:30: error: template argument 2 is invalid

Standard output is empty