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