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