gcc/testsuite/g++.dg/cpp0x/pr57543-3.C

   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);
   9   template <class T> void f(...) { }
  10   template <class T> auto g(typename A<T>::X) -> typename T::X;  // { dg-message "required" }
  11   template <class T> void g(...) { }
  12
  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" }