// { dg-options "-std=c++0x" }

template<typename T, typename U = typename T::value_type>
void f(T);

void f(...);

struct X {
  typedef int value_type;
};

void g()
{
  f(X()); // okay
  f(17); // okay?
}