Add now-necessary lifetime bounds.