syntax_data: {"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"infcx.instantiate_float_var_raw(v_id,"}]}
source_snippet:             infcx.instantiate_float_var_raw(v_id, ty::FloatVarValue::Known(v));
context_before:         (ty::Float(v), ty::Infer(ty::FloatVar(v_id))) => {
context_after:             Ok(a)