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