{"ast_node_type":"variable","tokens":[{"end":67,"kind":"keyword","start":0,"text":"let"}]}
                let origin = self.snapshot_vars.region_vars.1[idx];
                let idx = vid.index() - self.snapshot_vars.region_vars.0.start.index();
                self.infcx.next_region_var(origin)