Searched refs:fill_infer_result (Results 1 – 1 of 1) sorted by relevance
568 do { co <- fill_infer_result ty_expected inf_res892 ; co <- fill_infer_result rho inf_res896 = do { co <- fill_infer_result ty inf_res899 fill_infer_result :: TcType -> InferResult -> TcM TcCoercionN902 fill_infer_result orig_ty (IR { ir_uniq = u, ir_lvl = res_lvl function