syntax_data: {"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"(ty::ConstKind::Infer(ty::InferConst::Var(vid)),"}]}
source_snippet:         (ty::ConstKind::Infer(ty::InferConst::Var(vid)), _) => {
context_after:             infcx.instantiate_const_var_raw(relation, true, vid, b)?;