add promote_to_let