1 template<typename _Tp>
2 class new_allocator
3 {
4 public:
5   template<typename _Tp1>
new_allocator(const new_allocator<_Tp1> &)6   new_allocator(const new_allocator<_Tp1>&) noexcept { }
7 };
8 
9 extern template class new_allocator<char>;
10