Copying all elements of a map into another

That looks like a perfectly fine way to do this to me. I don’t think copying one map into another is common enough to have a one-liner solution.