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