We have a specialization of std::move for mongo::WithLock here. Declaring a full specialization of any standard library function template is UB since C++20 (ref), so this has to be removed. Whatever goal this was trying to accomplish could be done by deleting move/copy operators and/or constructors as appropriate.