gcc/testsuite/g++.dg/template/canon-type-12.C

// { dg-do compile { target c++11 } }

template<class T, T t = (T)0>
struct S
{
  void
  foo(decltype(t) = t);
};

template<class T, T t>
void
S<T, t>::foo(decltype(t))
{
}

void
bar()
{
  S<int> s;
  s.foo();
}