There's also no need for this to have a lifetime parameter because `@` is implicitly copyable.