main/gcc/testsuite/g++.dg/cpp0x/sfinae16.C

   1 // PR c++/48531
   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 double f(...);
  11
  12 struct B2 {
  13   B2(...);
  14 };
  15
  16 #define SA(X) static_assert ((X), #X)
  17 SA(sizeof(f<B2[2]>(0)) != 1);