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