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