gcc/testsuite/g++.dg/template/non-deducible1.C

// PR c++/23055

template <class> struct S { typedef int type; };

template <class T>
int foo(T, typename S<T>::type * ret);

int j = foo(1, 0);