1 // { dg-do compile { target c++11 } }
2 
3 template<typename T, typename U = typename T::value_type>
4 void f(T);
5 
6 void f(...);
7 
8 struct X {
9   typedef int value_type;
10 };
11 
g()12 void g()
13 {
14   f(X()); // okay
15   f(17); // okay?
16 }
17