1 // The conversion from D* to B* is ambiguous, but that should not produce
2 // an error, it should remove the first f overload by SFINAE.
3 
4 #define static_assert(TEST,STR) \
5   do { int ar[(TEST)?1:-1]; } while (0);
6 
7 struct B {};
8 
9 struct B1 : B {};
10 struct B2 : B {};
11 
12 struct D : B1, B2 {};
13 
14 template <class T> T create();
15 
16 typedef char one[1];
17 typedef char two[2];
18 
19 template <class T>
20     one &f(char (*)[sizeof static_cast<T>(create<D *>())]);
21 template <class T>
22     two &f(...);
23 
main()24 int main()
25 {
26   static_assert(sizeof f<int>(0) == sizeof(two), "");
27   static_assert(sizeof f<B *>(0) == sizeof(two), "");
28 }
29