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

   1 // PR c++/48735
   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 char (&f(...))[2];
  11
  12 struct ND {
  13   // Make ND() non-aggregate.
  14   virtual void f();
  15   ND() = delete;
  16 };
  17
  18 static_assert(sizeof(f<ND[1]>(0)) != 1, "Error");