Proposed resolution:

This wording is relative to N5014.

1. Modify [specialized.algorithms.general], as indicated:

   template<class I>
     constexpr decltype(auto) deref-move(I& it) {
       if constexpr (is_lvalue_reference_v<decltype(*it)>)
         return std::move(*it);
       else
         return *it;
     }
   

[ Kona 2025-11-08; Status changed: Immediate → WP. ]

[ Kona 2025-11-06; approved by LWG. Status changed: New → Immediate. ]

`std::uninitialized_move` and `std::uninitialized_move_n` are constexpr and invoke `deref-move`, but `deref-move` is not constexpr. This looks like an obvious mistake.

Jiang An pointed out that P3508R0 and LWG 3918, both touching `std::uninitialized_move(_n)`, were adopted at the same meeting, and unfortunately none of them was aware of the other.