| // { dg-do compile { target c++11 } } |
| |
| // Used to test that bool is a better overload match than int |
| // Updated for DR 1423 |
| |
| template <typename T, typename U> struct tType_equal; |
| template <typename T> struct tType_equal<T, T> { typedef void type; }; |
| |
| template <typename T, typename U> |
| inline typename tType_equal<T, U>::type |
| type_equal(U) { } |
| |
| int i( int ); |
| long int i( long int ); |
| bool i( bool ); |
| |
| void test_i() |
| { |
| // Overload to bool, not int |
| type_equal<bool>(i(nullptr)); // { dg-error "direct" } |
| decltype(nullptr) mynull = 0; |
| type_equal<bool>(i(mynull)); // { dg-error "direct" } |
| } |
