static boolean incinerateObsoleteHighlighters(@NotNull HighlightersRecycler infosToRemove, @NotNull HighlightingSession session) {
    boolean changed = false;
    // do not remove obsolete highlighters if we are in "essential highlighting only" mode, because otherwise all inspection-produced results would be gone
    for (RangeHighlighter highlighter : infosToRemove.forAllInGarbageBin()) {
      boolean shouldRemove = shouldRemoveHighlighter(highlighter, session);
      if (LOG.isDebugEnabled()) {
        LOG.debug("incinerateObsoleteHighlighters " + highlighter + "; shouldRemove:" + shouldRemove);
      }
      if (shouldRemove) {
        HighlightInfo info = HighlightInfo.fromRangeHighlighter(highlighter);
        disposeWithFileLevelIgnoreErrors(highlighter, info, session);
        changed = true;
      }
    }
    return changed;
  }
static boolean incinerateObsoleteHighlighters(@NotNull HighlightersRecycler infosToRemove, @NotNull HighlightingSession session)