1 // DR 1227, PR c++/57543 2 // { dg-do compile { target c++11 } } 3 4 template <class> 5 class C 6 { 7 template <class T> struct A { using X = typename T::X; }; // { dg-error "not a class" } 8 template <class T> typename T::X f(typename A<T>::X); f(...)9 template <class T> void f(...) { } 10 template <class T> auto g(typename A<T>::X) -> typename T::X; // { dg-message "required" } g(...)11 template <class T> void g(...) { } 12 h()13 void h() 14 { 15 f<int>(0); // OK 16 g<int>(0); // { dg-message "required" } 17 } 18 }; 19 20 template class C<int>; // { dg-message "required" } 21