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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

// { dg-do assemble  }

template <class T>
struct S
{
  typedef T S_Type;
};


template <class T>
void foo(typename S<T>::S_Type)
{
}


template <class T>
void foo(T)
{
}


struct S2 {};

void bar()
{
  foo(S2()); // We can't unify with the first foo, so we get the second.
}