fork(3) download

copy

//Title of this code
//clang 3.6.0
 
#include <iostream>
 
template <typename fT>
struct return_type;
 
template <typename R, typename ...Args>
struct return_type<R(Args...)>
{
    using type = R;
};
 
struct A
{
    template <class T>
    using X = void();    
 
    template <class T>
    X<T> x;
};
 
template <typename T>
typename return_type<A::X<T>>::type A::x()
{ 
    std::cout << __PRETTY_FUNCTION__ << std::endl;
}
 
int main()
{
    A a;
 
    a.x<void>();
    a.x<int>();
}

prog.cpp:25:32: error: 'type' in 'struct return_type<A::X<T> >' does not name a type
 typename return_type<A::X<T>>::type A::x()
                                ^
prog.cpp:25:37: error: prototype for 'int A::x()' does not match any in class 'A'
 typename return_type<A::X<T>>::type A::x()
                                     ^
prog.cpp:21:10: error: candidate is: template<class T> void A::x()
     X<T> x;
          ^

Standard output is empty