syntax_data: {"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"ty::ConstKind::Infer(infer_ct)"}]}
source_snippet:             ty::ConstKind::Infer(infer_ct) => match infer_ct {
context_before:             }
context_after:                 ty::InferConst::Var(ct_vid) if let Some(name) = self.const_infer_name(ct_vid) => {