{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"ty::InferConst::Var(vid)"}]}
                ty::InferConst::Var(vid) => {
            match infer_ct {
                    if self.snapshot_vars.const_vars.0.contains(&vid) {