{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"self.infcx.next_region_var(origin)"}]}
                self.infcx.next_region_var(origin)
                let origin = self.snapshot_vars.region_vars.1[idx];
            } else {