1 // PR c++/48531
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 double f(...);
11 
12 struct B2 {
13   B2(...);
14 };
15 
16 #define SA(X) static_assert ((X), #X)
17 SA(sizeof(f<B2[2]>(0)) != 1);
18