Update lifetimes.rs