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