syntax_data: {"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"infcx.instantiate_int_var_raw(v_id,"}]}
source_snippet:             infcx.instantiate_int_var_raw(v_id, ty::IntVarValue::UintType(v));
context_before:         (ty::Infer(ty::IntVar(v_id)), ty::Uint(v)) => {
context_after:             Ok(b)