// PR c++/19555 | |
namespace __gnu_debug_def { } | |
namespace std | |
{ | |
using namespace __gnu_debug_def; | |
template<typename _Tp> class allocator {}; | |
} | |
namespace __gnu_debug_def | |
{ | |
template<typename _Tp, | |
typename _Allocator = std::allocator<_Tp> > | |
class vector | |
{ | |
void | |
swap(vector<_Tp,_Allocator>& __x); | |
}; | |
} | |
namespace std | |
{ | |
template<> void | |
vector<int, allocator<int> >::swap(vector<int, allocator<int> >&) { } // { dg-error "" } | |
} |