In the following code, I don’t understand why the Span require a lifetime.
Since all the arguments implement the copy trait, my understanding is that the Span own all the required variables.