The lifetime on the left can be removed.