flux_refineck

Function report_fixpoint_errors

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