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

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