gcc/testsuite/g++.dg/template/sfinae15.C

   1 // PR c++/40944
   2 // { dg-options -std=c++0x }
   3 // { dg-do run }
   4
   5 template<typename T>
   6 struct make { static T&& it(); };
   7
   8 void (*pf)(int&) = 0;
   9
  10 template< typename T >
  11 int bar(T const& x,
  12         decltype( pf(make<T const&>::it()) )* = 0 // SFINAE!
  13         ) {
  14     return 1;
  15 }
  16
  17 int bar(...) {
  18     return 0;
  19 }
  20
  21 int main() {
  22     return bar(42);
  23 }