Can this `unlock` be eliminated by unique_lock destructor?  (push_mixer's one too)