// { dg-do assemble } // Test for not complaining about mismatches during unification. template <void (*F)(int)> void f(); template <void (*F)(double)> void f(); extern void g(double); void h () { f<g>(); }