:8786656 §25.4.1.1 sort... Requires:... The type of `*first` shall satisfy the requirements of `MoveConstructible`. §17.6.3.1 `MoveConstructable` requirements . §20.2.3 `template typename conditional::value && is_copy_constructible::value, const T&, T&&>::type move_if_noexcept(T& x) noexcept;` §23.3.6.3 [vector.reserve]... If an exception is thrown other than by the move constructor of a non-CopyInsertable type, there are no effects.