gcc/testsuite/g++.old-deja/g++.pt/unify1.C

// { dg-do assemble  }
// Tests non-unification of parms that don't use template parms.

enum kind {a, b};

class C { public: C () {} };

template<class P>
void f (P c, kind k) {}

template<class P>
void f (P c, P d, kind k) {}

template void f (C c, C, kind k);