gcc/testsuite/g++.dg/cpp0x/sfinae55.C

   1 // PR c++/64970
   2 // { dg-do compile { target c++11 } }
   3
   4 template<typename T>
   5 T && declval();
   6
   7 template<typename T>
   8 struct void_ { using type = void; };
   9
  10 template<typename T>
  11 using void_t = typename void_<T>::type;
  12
  13 template<class A, class B>
  14 struct Outer
  15 {
  16     template<class C, class D>
  17     using Inner = decltype(true ? declval<C>() : declval<D>());
  18 };
  19
  20 template<class A, class B, typename Enable = void>
  21 struct S
  22 {};
  23
  24 template<class A, class B>
  25 struct S<A, B, void_t<typename Outer<A, B>::template Inner<A, B>>>
  26 {};
  27
  28 struct A{};
  29 struct B{};
  30 int main()
  31 {
  32     S<A, B> s;
  33 }