unique_ptr assignment with move-assignable but not convertible deleters

[Jonathan Wakely]

On Wed, 31 Jul 2019 at 10:53, Jonathan Wakely wrote:
>
> On Tue, 30 Jul 2019 at 09:07, Aleksey Demakov wrote:
> >
> > Hi all,
> >
> > I found what seems to be a problem with C++ library in both gcc-8.3
> > and 9.1 (while clang 7.0 is ok).
>
> I assume by clang you mean clang with libc++, because clang with
> libstdc++ fails in the same way as GCC with libstdc++.
>
> Please report a bug as described at https://gcc.gnu.org/bugs/
>
> The problem is that the unique_ptr::operator=(unique_ptr<U, E>&&)
> assignment operator incorrectly includes this constraint from the
> converting constructor:
> http://eel.is/c++draft/unique.ptr.single#ctor-19.3
>
> The assignment operator is supposed to have slightly different constraints:
> http://eel.is/c++draft/unique.ptr.single#asgn-6
>
> Thanks!

Reported as https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91308