Function report_errors 

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