struct X{}; template<class T>decltype(X() == int()) f(T const&){ return true; } int main(void) { X x; f(x);}
Standard input is empty
prog.cpp:4:21: error: no match for 'operator==' in 'X() == int()'
Standard output is empty
The brand new service which powers Ideone!
Widget for compiling and running the source code in a web browser!