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

   1 // PR c++/48450
   2 // { dg-do compile { target c++11 } }
   3
   4 namespace std {
   5   template <class T> T&& declval();
   6 }
   7
   8 template<class To, class From,
   9   class = decltype(static_cast<To>(std::declval<From>()))
  10 >
  11 char f(int);
  12
  13 template<class, class>
  14 char (&f(...))[2];
  15
  16 struct A { virtual ~A() = 0; };
  17 struct B {};
  18 struct D : B {};
  19
  20 static_assert(sizeof(f<A, int>(0)) != 1, "Error"); // a
  21 static_assert(sizeof(f<int*, const void*>(0)) != 1, "Error"); // b
  22 static_assert(sizeof(f<D*, const B*>(0)) != 1, "Error"); // c
  23 static_assert(sizeof(f<int B::*, const int D::*>(0)) != 1, "Error"); // d
  24 static_assert(sizeof(f<B, void>(0)) != 1, "Error"); // e