gcc-4.9/gcc/testsuite/g++.dg/template/fnspec1.C


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

// PR c++/35146

template <typename T> struct S {};

template <typename R> struct ref;
template <>           struct ref<double> { typedef double result; };

template <typename T>
void foo(typename ref<T>::result, S<T>*);
template <>
void foo(S<double>,               S<double>*); // { dg-error "does not match" }
template <>
void foo(double alpha,            S<double>* x)
{
  alpha; x;
}