Function flux_refineck::report_fixpoint_errors

pub(crate) fn report_fixpoint_errors(
    genv: GlobalEnv<'_, '_>,
    local_id: LocalDefId,
    errors: Vec<Tag>,
) -> Result<(), ErrorGuaranteed>