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