{"ast_node_type":"variable","tokens":[{"end":51,"kind":"keyword","start":0,"text":"let"}]}
                let r_vid = self.to_region_vid(*r);
            VerifyBound::OutlivedBy(r) => {
                self.eval_outlives(r_vid, lower_bound)