Thanks, I don't remember seeing `copy_lifetime` before. It is safe because we never remove elements from the map nor do we mutate existing elements, i.e. the "stable vector" abstraction (I will put this in a comment).