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"); 19