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