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

Reply via email to