This needs to be implemented (since otherwise the specialization has undefined behavior – see STDCXX-172).
Description
The resolution of issue 541 adds an explicit specialization for std::auto_ptr<void> with the following definition:
template<> class auto_ptr<void>
{
public:
typedef void element_type;
};
See http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-defects.html#541
This needs to be implemented (since otherwise the specialization has undefined behavior – see STDCXX-172).