{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"ty::ConstKind::Infer(ty::InferConst::Var(v))"}]}
            ty::ConstKind::Infer(ty::InferConst::Var(v)) => {
        match ct.kind() {
                let mut inner = self.infcx.inner.borrow_mut();