[PR c++/84702] ICE with default tmpl arg of overload set
[official-gcc.git] / gcc / testsuite / g++.dg / template / sfinae22.C
blob57846feba5bdb3cc046c814c8e676a139a3ee3ae
1 // PR c++/44908
2 // { dg-do compile { target c++11 } }
4 #include <utility> 
6 struct A { };
8 struct B
9 : public virtual A { };
11 template<typename From, typename To>
12   class mini_is_convertible
13   {
14     typedef char one;
15     typedef struct { char arr[2]; } two;
17     template<typename To1>
18       static void test_aux(To1);
20     template<typename To1, typename From1>
21       static decltype(test_aux<To1>(std::declval<From1>()), one())
22       test(int);
24     template<typename, typename>
25       static two test(...);
27     public:
28       static const bool value = sizeof(test<To, From>(0)) == 1;
29   }; 
31 template<typename From, typename To>
32   const bool mini_is_convertible<From, To>::value;
34 static_assert (!mini_is_convertible<int (B::*) (int),
35                int (A::*) (int)>::value, "");
36 static_assert (!mini_is_convertible<int (B::*), int (A::*)>::value, "");
37 static_assert (!mini_is_convertible<int (A::*) (int),
38                int (B::*) (int)>::value, ""); 
39 static_assert (!mini_is_convertible<int (A::*), int (B::*)>::value, "");