1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
// { dg-do run } #include <typeinfo> template <typename T> const char *print_type (const T &) { return typeid(T).name(); } /* no template */ void pp1 (int) {} template <typename X> void pp2 (X) {} int main () { if (print_type (&pp1) != print_type (&pp2<int>)) return 1; }