{"ast_node_type":"variable","tokens":[{"end":48,"kind":"keyword","start":0,"text":"let"}]}
        let new_r = ty::Region::new_var(tcx, c);
        self.undo_log.push(AddCombination(t, vars));
        for old_r in [a, b] {