Language: C C++ D Haskell Lua OCaml PHP Perl Plain Text Python Ruby Scheme Tcl #include <iostream> #include <typeinfo> using namespace std; template<typename A> struct Foo { template<typename B> Foo( B b ) { cout << typeid(A).name() << " " << typeid(B).name() << endl; } }; int main() { Foo<void*>::Foo<double>(0); } Private [?] Run code