1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
// { 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? }