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

   1 // PR c++/48535
   2 // { dg-do compile { target c++11 } }
   3
   4 template<class T,
   5  class = decltype(T{})
   6 >
   7 char f(int);
   8
   9 template<class>
  10 char (&f(...))[2];
  11
  12 struct A { virtual ~A() = 0; };
  13
  14 static_assert(sizeof(f<A>(0)) != 1, "Error"); // (a)
  15 static_assert(sizeof(f<void()>(0)) != 1, "Error"); // (b)
  16 static_assert(sizeof(f<int&>(0)) != 1, "Error"); // (d)
  17 static_assert(sizeof(f<const int&>(0)) == 1, "Error"); // (e)
  18 static_assert(sizeof(f<int[]>(0)) != 1, "Error"); // (f)