fork(1) download

#include <iostream>
 
template<typename T>
struct to_void
{
	typedef void type;
};
 
class Foo
{
	template <typename T, typename dummy>
	friend struct has_TD;
 
	typedef int TD;
};
 
template <typename T, typename dummy = void>
struct has_TD : std::false_type {};
 
template <typename T>
struct has_TD<T, typename to_void<typename T::TD>::type > : std::true_type{};
 
int main()
{
	std::cout << std::boolalpha << has_TD<Foo>::value << std::endl;
}

prog.cpp: In function 'int main()':
prog.cpp:14:14: error: 'typedef int Foo::TD' is private
  typedef int TD;
              ^
prog.cpp:25:33: error: within this context
  std::cout << std::boolalpha << has_TD<Foo>::value << std::endl;
                                 ^

Standard output is empty