Change the names of lifetime parameters to avoid shadowing