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