1 // PR c++/48535 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 A { virtual ~A() = 0; }; 13 14 static_assert(sizeof(f<A>(0)) != 1, "Error"); // (a) 15 static_assert(sizeof(f<void()>(0)) != 1, "Error"); // (b) 16 static_assert(sizeof(f<int&>(0)) != 1, "Error"); // (d) 17 static_assert(sizeof(f<const int&>(0)) == 1, "Error"); // (e) 18 static_assert(sizeof(f<int[]>(0)) != 1, "Error"); // (f) 19