code: @FormatMethod
    private void reportError(@FormatString String message, Object... arguments) {
      errorReporter.reportError(scanner.getPosition(), message, arguments);
    }
docs: Reports an error at the current location.
  @param message The message to report in String.format style.
  @param arguments The arguments to fill in the message format.