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

   1 // PR c++/57419
   2 // { dg-do compile { target c++11 } }
   3
   4 template< typename q >
   5 decltype( &q::f ) t( q ) {}
   6
   7 char t( ... ) { return {}; }
   8
   9 class c { void f() = delete; };
  10 class d { static void f() = delete; };
  11
  12 static_assert( sizeof( t( c() ) ), "c" );
  13 static_assert( sizeof( t( d() ) ), "d" );