Relocation (= move+destroy)

[Marc Glisse]

On Sat, 13 Oct 2018, Marc Glisse wrote:

> +  template<typename _Tp>
> +    struct __is_trivially_relocatable
> +    : is_trivially_move_constructible<_Tp> { };

Oups, this part is wrong, sorry, it is supposed to be "is_trivial" instead 
of "is_trivially_move_constructible", to match what is done elsewhere in 
this file. Using is_trivially_move_constructible instead (like libc++) is 
a separate issue, and in the particular case of relocation would need to 
be combined with is_trivially_destructible.

I'll retest with is_trivial, but I would be very surprised if that broke 
anything in the testsuite.

-- 
Marc Glisse