Simplify std::scoped_lock destructor