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

   1 // Test that we can deduce t even though T is deduced from a later argument.
   2
   3 template <int I> struct A { };
   4
   5 template <class T, T t> void f (A<t> &, T) { }
   6
   7 int main ()
   8 {
   9   A<42> a;
  10   f (a, 24);
  11 }