void (@NotNull HighlightingSession session, long elementRange, @Nullable List<? extends HighlightInfo> infos) { killAbandonedHighlightsUnder(session.getProject(), session.getDocument(), elementRange, infos, session); }