bug#65713: compilation-next-error says: Moved past last error, even when none

[Eli Zaretskii]

> From: Stefan Kangas <stefankangas@gmail.com>
> Date: Sun, 3 Sep 2023 02:00:50 -0700
> Cc: 65713@debbugs.gnu.org
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> >> OK, there was no error, so instead of "Moved past last error" it should
> >> say "Didn't find any errors" when asked.
> >
> > FWIW, I don't see any need for such a feature.  "Moved past the last
> > error" is correct even if there are no errors, and complicating the
> > code for such hair-splitting is not justified, IMO.
> 
> The problem I see is that we're displaying a general message, when a
> more specific one could have been displayed instead.  I'm not against
> fixing this minor blemish, if it can be done in a clean way.

Would it be enough to say something like

  Moved past last error, if any

?