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