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

   1 // PR c++/68926
   2 // { dg-do compile { target c++11 } }
   3
   4 struct true_type { static constexpr bool value = true; };
   5 struct false_type { static constexpr bool value = false; };
   6
   7 template<bool Cond> struct enable_if { using type = void; };
   8 template<> struct enable_if<false> { };
   9
  10 template<typename T, typename U> struct is_same : false_type { };
  11 template<typename T> struct is_same<T, T> : true_type { };
  12
  13 template<typename T>
  14 typename enable_if<is_same<int, T>::value>::type
  15 func();
  16
  17 template<typename T, typename = decltype(func<T>)>
  18 true_type test(T);
  19
  20 false_type test(...);
  21
  22 int main()
  23 {
  24    decltype(test(0))::value;   // ok
  25    decltype(test(0.f))::value; // error
  26 }