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

   1 // { dg-do assemble  }
   2
   3 template <class T>
   4 struct S
   5 {
   6   typedef T S_Type;
   7 };
   8
   9
  10 template <class T>
  11 void foo(typename S<T>::S_Type)
  12 {
  13 }
  14
  15
  16 template <class T>
  17 void foo(T)
  18 {
  19 }
  20
  21
  22 struct S2 {};
  23
  24 void bar()
  25 {
  26   foo(S2()); // We can't unify with the first foo, so we get the second.
  27 }