Function report_fixpoint_errors 

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