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

   1 // { dg-do compile { target c++11 } }
   2
   3 template<class T, unsigned = sizeof(T)>
   4 auto f(int) -> char;
   5
   6 template<class>
   7 auto f(...) -> char(&)[2];
   8
   9 static_assert(sizeof(f<void>(0)) != 1, "");
  10 static_assert(sizeof(f<void()>(0)) != 1, "");